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