Bicarregui, Juan C. books & textbook
Proof in VDM: A Practitioner’s Guide (Formal Approaches to Computing and Information Technology (FACIT))
Bicarregui, Juan C. Fitzgerald, John Lindsay, Peter A. Moore, Richard Ritchie, Brian
Springer /1993-12-01 Paperback / 378 Pages
isbn-10: 354019813X / isbn-13: 9783540198130
Proof in VDM: Case Studies (Formal Approaches to Computing and Information Technology (FACIT))
Springer /1998-03-02 Paperback / 241 Pages
isbn-10: 3540761861 / isbn-13: 9783540761860
