Integrated Formal Methods 10th International Conference IFM 2013

Integrated Formal Methods - 9783642386121

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

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

Integrated Formal Methods : 10th International Conference, Ifm 2013, Turku, F...

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

Software Engineering and Formal Methods : 10th International Conference, Sefm...

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