Vdm '90. Vdm and Z - Formal Methods in Software Development : Third Internati...

Bjrner - VDM '90. VDM and Z - Formal Methods in Software Development - X555z

VDM '90. VDM and Z - Formal Methods in Software Development: Third International

Abstract State Machines, Alloy, B, VDM, and Z ~ John Derrick ~ 9783642308840

Ehrig - Formal Methods and Software Development. Proceedings of the In - X555z

An Introduction to Formal Specification With Z and Vdm

Formal Methods for Quantitative Aspects of Programming Languages: 10th Internati

Abstract State Machines Alloy B VDM and Z Third Internationa