Formal Methods in Macro-Biology First International Conference FM

Formal Methods And Artificial Intelligence By Jean - Paul Delahaye

Lecture Notes in Computer Science Ser.: Formal Methods Teaching : 6th Formal...

Methods & Models A Guide to the Empirical Analysis of Formal Models in Political

Software Prototyping, Formal Methods, and VDM (International Computer Science)

Formal Methods 22nd International Symposium, FM 2018, Held as Part of the F 5161

Fages - Formal Methods in Macro-Biology First International Conferen - X555z

FME '96: Industrial Benefit and Advances in Formal Methods: Third Internatio...