Formal Aspects of Component Software 17th International Conference, FACS 2021, Virtual Event, October 28–29, 2021, Proceedings Salaün, Gwen Heftet / 2021 / Engelsk
Software Engineering and Formal Methods 12th International Conference, SEFM 2014, Grenoble, France, September 1-5, 2014, Proceedings Giannakopoulou Dimitra Heftet / 2014 / Engelsk
Formal Methods for Industrial Critical Systems 16th International Workshop, FMICS 2011, Trento, Italy, August 29-30, 2011, Proceedings Salaün, Gwen Heftet / 2011 / Engelsk
Software Engineering and Formal Methods 17th International Conference, SEFM 2019, Oslo, Norway, September 18–20, 2019, Proceedings Ölveczky, Peter Csaba Heftet / 2019 / Engelsk
Formal Aspects of Component Software 9th International Symposium, FACS 2012, Mountain View, CA, USA, September 11-13, 2012. Revised Selected Papers Pasareanu, Corina S Heftet / 2013 / Engelsk
Software Technologies: Applications and Foundations STAF 2018 Collocated Workshops, Toulouse, France, June 25-29, 2018, Revised Selected Papers Mazzara Manuel Heftet / 2018 / Engelsk
