Practical Formal Methods with Vdm (McGraw Hill... - Andrews, Derek

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

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

Relational and Algebraic Methods in Computer Science : 13th International Con...

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

Relational and Algebraic Methods in Computer Science : 13th International Con...

Relational and Algebraic Methods in Computer Science: 13th International Confere

Formal Methods for Performance Evaluation: 7th International School on Formal Me