External Links

Cite Key

Statistics

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

PDF

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.

Experiences in Developing a Proof Theory for VDM Specifications

John S. Fitzgerald, R. Moore. Experiences in Developing a Proof Theory for VDM Specifications. In D. J. Andrews, Jan Friso Groote, C. A. Middelburg, editors, Semantics of Specification Languages (SoSL), Proceedings of the International Workshop on Semantics of Specification Languages, Utrecht, The Netherlands, 25-27 October 1993. Workshops in Computing, pages 101-117, Springer, 1993.

References

No references recorded for this publication.

Cited by

No citations of this publication recorded.

runs on