Proof in VDM : a practitioner's guide / Juan C. Bicarregui... [et al.]
Proof in VDM : a practitioner's guide / Juan C. Bicarregui... [et al.]
. - London : Springer, cop. 1994
. - XVI, 362 p. 24 cm
. - (Formal approaches to computing and information technology))
3-540-09813-X (Brochado)
519.6