Integrated Formal Methods: 16th International Conference, IFM 2020, Lugano, Swit

Integrated Formal Methods: 7th International Conference, IFM 2009, D?sseldorf, G

Integrated Formal Methods: 4th International Conference, Ifm 2004, Canterbury,

Integrated Formal Methods - 9783319989372

Leuschel - Integrated Formal Methods 7th International Conference IF - X555z

Integrated Formal Methods : 15th International Conference, Ifm 2019, Bergen, ...

Integrated Formal Methods : 16th International Conference, Ifm 2020, Lugano, ...

Integrated Formal Methods : 11th International Conference, Ifm 2014, Bertinor...