Anoop Goyal, Sriram Sankar. The Application of Formal Specifications to Software Documentation and Debugging. In Peter Fritszon, editor, Automated and Algorithmic Debugging, First International Workshop, AADEBUG 93, Linköping, Sweden, May 3-5, 1993, Proceedings. Volume 749 of Lecture Notes in Computer Science, pages 333-349, Springer, 1993.
Abstract is missing.