Proof in Vdm
Subtitle: A Practitioner's Guide (Formal Approaches to Computing and Information Technology)
Contributors: Peter A. Lindsay (Contributor)
Publisher: Springer-Verlag Telos
Published: January 1995
Language: eng
Number of pages: 362
ISBN-13: 9780387198132