Similar Listings
Vdm '90. Vdm and Z - Formal Methods in Software Development : Third Internati...
Vdm '90. Vdm and Z - Formal Methods in Software Development : Third Internati...
Ehrig - Formal Methods and Software Development. Proceedings of the In - X555z
Alagar - Formal Methods in Databases and Software Engineering Procee - X555z
Software Prototyping, Formal Methods, and VDM (International Computer Science)
Bjrner - Formal Methods in Programming and Their Applications Inter - X555z
Kreowski - Formal Methods in Software and Systems Modeling Essays De - X555z
Calinescu - Software Engineering and Formal Methods 13th Internation - X555z