Proof in VDM
Subtitle: a practitioner's guide
By: by Juan Carlos Bicarregui...[et al.].
Series: Formal approaches to computing and information technology; FACIT
Publisher: Springer-Verlag
Published: 1994
Place of publication: London
Language: eng
Number of pages: 362