J. Bicarregui

1 book • 1 series

Dec 1, 1993
Cover of Proof in VDM: A Practitioner’s Guide

Proof in VDM: A Practitioner’s Guide (Formal Approaches to Computing and Information Technology (FACIT))