TY - BOOK AU - International Workshop, AADEBUG'93, Linkoping, Sweden, May 3-5, 1993 AU - Fritzson, Peter A., ed. TI - Automated and algorithmic debugging T2 - Lecture Notes in Computer science U1 - 005.14 PY - 1993/// CY - Berlin PB - Springer-Verlag ER -