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

ter Beek - From Software Engineering to Formal Methods and Tools and - X555z

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

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

Duan - Formal Methods and Software Engineering 19th International Co - X555z

Aoki - Formal Methods and Software Engineering 14th International Co - X555z

Lau - Formal Methods and Software Engineering 7th International Conf - X555z

Formal Methods and Software Engineering 18th International Conferenc - X555z