Ehrig - Mathematical Foundations of Software Development. Proceedings - X555z

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

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

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

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

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

Pae - Advances in Polymer Science and Engineering Proceedings of the - X555z

DeNardo - Group Theoretical Methods in Physics Proceedings of the Xii - X555z