Formal Methods and Software Development. Proceedings of the International Joint

Recent Development in Theories and Numerics, Proceedings of the International Co

Formal Methods in Databases and Software Engineering: Proceedings of the Worksho

Tapsoft'97: Theory and Practice of Software Development: 7th International Joint

Emerging Frameworks and Methods: Proceedings of the Fourth International Confere

Ehrig - Formal Methods and Software Development. Proceedings of the In - X555z

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