Similar Listings
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