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

Information Systems Security : 15th International Conference, ICISS 2019, Hyd...

Integrated Formal Methods: 15th International Conference, IFM 2019, Bergen, Norw

Ahrendt - Integrated Formal Methods 15th International Conference I - X555z

INTERGRATED FORMAL METHODS;18th INTERNATIONAL CONFERENCE IFM 2023 NETHERLANDS

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

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

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