Integrated Formal Methods : 12th International Conference, Paperback by Ábrah...

Formal Methods and Software Engineering: 12th International Conference on Formal

brahm - Integrated Formal Methods 12th International Conference I - X555z

Theory of Cryptography : 12th International Conference Tcc 2015, Paperback by...

Integrated Formal Methods : Third International Conference, Ifm 2002, Turku, ...

Integrated Formal Methods: 18th International Conference, IFM 2023, Leiden, The

Integrated Formal Methods : 17th International Conference, Ifm 2022, Lugano, ...