Formal Methods in Software and Systems Modeling : Essays Dedicate

Jones - Formal Methods and Hybrid Real-Time Systems Essays in Honour - X555z

Formal Methods in Software And Systems Modeling, Paperback by Kreowski, Hans-...

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

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

Formal Methods in Software And Systems Modeling, Paperback by Kreowski, Hans-...

Kropf - Formal Hardware Verification Methods and Systems in Comparis - X555z

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