John S. Fitzgerald

2 books • 1 series

Feb 3, 2005
Cover of Validated Designs for Object-Oriented Systems

Validated Designs for Object-Oriented Systems

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))