Software Engineering and Formal Methods 12th International Conference, SEFM 2014, Grenoble, France, September 1-5, 2014, Proceedings Giannakopoulou Dimitra Heftet / 2014 / Engelsk
FM 2012: Formal Methods 18th International Symposium, Paris, France, August 27-31, 2012. Proceedings Giannakopoulou Dimitra Heftet / 2012 / Engelsk
NASA Formal Methods 12th International Symposium, NFM 2020, Moffett Field, CA, USA, May 11–15, 2020, Proceedings Lee, Ritchie Heftet / 2020 / Engelsk
