Media type: E-Book; Conference Proceedings Title: Automated and Algorithmic Debugging : First International Workshop, AADEBUG '93, Linköping, Sweden, May 3-5, 1993. Proceedings Contributor: Fritzson, Peter A. [Author] imprint: Berlin, Heidelberg: Springer Berlin Heidelberg, 1993 Published in: Lecture notes in computer science ; 749 Bücher Extent: Online-Ressource Language: English DOI: 10.1007/BFb0019396 ISBN: 9783540481416 Identifier: RVK notation: SS 4800 : Lecture notes in computer science ST 233 : Programmverifikation, -qualität, -test, -bewertung Test etc. SS 1993 : Veranstaltungsjahr 1993 Keywords: Debugging Origination: Footnote: