John S. Fitzgerald

Abstract State Machines Alloy B Vdm And Z Third International Conference Abz 2012 Pisa Italy June 1821 2012 Proceedings

Validated Designs for Object-Oriented Systems

Proof in VDM