Formal Methods and Software Development. Proceedings of the International Joint

Ehrig - Mathematical Foundations of Software Development. Proceedings - X555z

Burn - ory and Formal Methods 1993 Proceedings of the First Imperial - X555z

Serdaroglu - Group Theoretical Methods in Physics Proceedings of the - X555z

Paoletti - Chemistry and Brain Development Proceedings of the Advance - X555z

Alagar - Formal Methods in Databases and Software Engineering Procee - X555z

Formal Methods and Software Development Vol. 2 : Proceedings of t

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