An abstract programming language and correctness proofs
References (7)
Software Development
(1980)Systematic Software Development Using VDM
(1986)The Programming Process—An Introduction Using VDM and Pascal
(1990)
There are more references available in the full text version of this article.
Cited by (0)
Copyright © 1992 Published by Elsevier Ltd.