John S. Fitzgerald · 3 obras en el catálogoObrasProof in VDM1994Abstract State Machines Alloy B Vdm And Z Third International Conference Abz 2012 Pisa Italy June 1821 2012 ProceedingsVValidated Designs for Object-Oriented SystemsValidated Designs for Object-Oriented Systems
Abstract State Machines Alloy B Vdm And Z Third International Conference Abz 2012 Pisa Italy June 1821 2012 Proceedings