Model-based debugging using multiple abstract models

Mayer, W.E.Stumptner, M.2025-12-172025-12-172003Proceedings of the Fifth International Workshop on Automated Debugging, 2003https://hdl.handle.net/1959.8/51329enCopyright status unknownBotany n.e.c.FOR:080499Model-based debugging using multiple abstract modelsConference paper