Experiences in Developing a Proof Theory for VDM Specifications - researchr publication related

researchr

You are not signed in
Sign in
Sign up

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.

The following publications are possibly variants of this publication:

Proof in VDM: A Practitioner's GuideJuan Bicarregui, John S. Fitzgerald, Peter A. Lindsay, Richard C. Moore, Brian Ritchie. Formal approaches to computing and information technology, Springer, 1994. [doi]

runs on WebDSL