Integrated Formal Methods - 9783319989372

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

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

Software Engineering and Formal Methods 14th International Confer

Formal Methods for Executable Software Models 14th International

Formal Concept Analysis 14th International Conference ICFCA 2017

Formal Methods Foundations and Applications 14th Brazilian Sympos

Cla 2018. Proceedings of the 14th International Conference on Concept Lattices