Proof in VDM : case studies

J.C. Bicarregui (ed.) ; with contributions from Sten Agerholm ... [et al.]
Bok · Engelsk · 1998

Utgitt	London : Springer , c1998
Omfang	xiv, 226 s. : ill.
Emner	Automatic theorem proving Computer software - Development Case studies Vienna Development method
ISBN	3540761861