Software Engineering and Formal Methods 12th International Conference, SEFM 2014, Grenoble, France, September 1-5, 2014, Proceedings Giannakopoulou Dimitra Heftet / 2014 / Engelsk
Verified Software: Theories, Tools and Experiments 6th International Conference, VSTTE 2014, Vienna, Austria, July 17-18, 2014, Revised Selected Papers Giannakopoulou Dimitra Heftet / 2014 / Engelsk
FM 2012: Formal Methods 18th International Symposium, Paris, France, August 27-31, 2012. Proceedings Giannakopoulou Dimitra Heftet / 2012 / Engelsk
Fundamental Approaches to Software Engineering 14th International Conference, FASE 2011, Held as Part of the Joint European Conference on Theory and Practice of Software, ETAPS 2011, Saarbrücken, Germany, March 26--April 3, 2011, Proceedings Giannakopoulou Dimitra Heftet / 2011 / Engelsk
NASA Formal Methods 12th International Symposium, NFM 2020, Moffett Field, CA, USA, May 11–15, 2020, Proceedings Lee, Ritchie Heftet / 2020 / Engelsk
