Integrated Formal Methods - 9783642386121

Web Services and Formal Methods : 10th International Workshop, Ws-fm 2013, Be...

Johnsen - Integrated Formal Methods 10th International Conference I - X555z

Formal Methods for Components and Objects 10th International Symp

Integrated Formal Methods : 14th International Conference, Ifm 2018, Maynooth...

Integrated Formal Methods: Second International Conference, IFM 2000, Dagstuhl C

Numerical Methods and Applications 10th International Conference