Integrated Formal Methods 9th International Conference IFM 2012 P

Integrated Formal Methods - 9783642307287

Integrated Formal Methods : 9th International Conference, Ifm 2012, Pisa, Ita...

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

ter Beek - Web Services and Formal Methods 9th International Worksho - X555z

Leuschel - Integrated Formal Methods 7th International Conference IF - X555z

Dongol - Integrated Formal Methods 16th International Conference IF - X555z