External Links

Cite Key

Statistics

  • References: 0
  • Cited by: 0
  • Reviews: 0
  • Bibliographies: 0

PDF

Tags

Researchr

Researchr is a web site for finding, collecting, sharing, and reviewing scientific publications, for researchers by researchers.

Sign up for an account to create a profile with publication list, tag and review your related work, and share bibliographies with your co-authors.

The Application of Formal Specifications to Software Documentation and Debugging

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.

No reviews for this publication, yet.

runs on