Formal Methods for Industrial Critical Systems A Survey of Applications Gnesi Stefania Heftet / 2013 / Engelsk
Fundamental Approaches to Software Engineering 17th International Conference, FASE 2014, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2014, Grenoble, France, April 5-13, 2014, Proceedings Gnesi Stefania Heftet / 2014 / Engelsk
FME 2003: Formal Methods International Symposium of Formal Methods Europe. Pisa Italy, September 8-14, 2003, Proceedings Araki Keijiro Heftet / 2003 / Engelsk
FM 2016: Formal Methods 21st International Symposium, Limassol, Cyprus, November 9-11, 2016, Proceedings Fitzgerald, John Heftet / 2016 / Engelsk
Requirements Engineering: Foundation for Software Quality 26th International Working Conference, REFSQ 2020, Pisa, Italy, March 24–27, 2020, Proceedings Madhavji, Nazim Heftet / 2020 / Engelsk
Integrated Formal Methods 9th International Conference, IFM 2012, Pisa, Italy, June 18-21, 2012. Proceedings Derrick John Heftet / 2012 / Engelsk
Critical Systems: Formal Methods and Automated Verification Joint 21st International Workshop on Formal Methods for Industrial Critical Systems and 16th International Workshop on Automated Verification of Critical Systems, FMICS-AVoCS 2016, Pisa, Italy, September 26-28, 2016, Proceedings ter Beek, Maurice H. Heftet / 2016 / Engelsk
