Formal Methods in Programming and Their Applications : International Conferen...

Dines Bjørner Manfred B Formal Methods in Programming an (Paperback) (UK IMPORT)

Formal Methods in Programming and Their Applications: International Conference,

Formal Methods in Macro-Biology : First International Conference, FMMB 2014, ...

Bjrner - Formal Methods in Programming and Their Applications Inter - X555z

Software Engineering and Formal Methods : 10th International Conference, Sefm...

Fundamentals of Software Engineering : 8th International Conference, Fsen 201...