Integrated Formal Methods - 9783030349677

Integrated Formal Methods 15th International Conference IFM 2019

Garg - Information Systems Security 15th International Conference I - X555z

Bernardo - Formal Methods for Multicore Programming 15th Internation - X555z

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

Gibbons - Teaching Formal Methods Second International Conference Tf - X555z

Furia - Integrated Formal Methods 14th International Conference IFM - X555z