Peter A. Fritzson

Automated and Algorithmic Debugging: First International Workshop, AADEBUG '93, Linköping, Sweden, May 3-5, 1993. Proceedings (Lecture Notes in Computer Science, 749)