From Software Engineering to Formal Methods and Tools, and Back - 9783030309848

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

From Software Engineering to Formal Methods and Tools, and Back : Essays Dedi...

ter Beek - Critical Systems Formal Methods and Automated Verification - X555z

From Software Engineering to Formal Methods and Tools, and Back : Essays Dedi...

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

Formal Methods and Software Engineering 18th International Conferenc - X555z

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