FM 2012: Formal Methods 18th International Symposium, Paris, France, August 27-31, 2012. Proceedings Giannakopoulou Dimitra Heftet / 2012 / Engelsk
Formal Methods and Software Engineering 25th International Conference on Formal Engineering Methods, ICFEM 2024, Hiroshima, Japan, December 2–6, 2024, Proceedings Ogata Kazuhiro Heftet / 2024 / Engelsk
