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