Integrated Formal Methods 10th International Conference IFM 2013

Integrated Formal Methods - 9783642386121

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

Domenach - Formal Concept Analysis 10th International Conference IC - X555z

Tuosto - Web Services and Formal Methods 10th International Workshop - X555z

Liu - Formal Methods and Software Engineering 10th International Con - X555z

Dutle - NASA Formal Methods 10th International Symposium NFM 2018 - X555z

Eleftherakis - Software Engineering and Formal Methods 10th Internat - X555z