Fundamental Approaches to Software Engineering Third International Conference, FASE 2000 Held as Part of the Joint European Conference on Theory and Practice of Software, ETAPS 2000 Berlin, Germany, March 25 - April 2, 2000 Proceedings Maibaum Tom Heftet / 2000 / Engelsk
FM 2008: Formal Methods 15th International Symposium on Formal Methods, Turku, Finland, May 26-30, 2008, Proceedings Cuellar Jorge Heftet / 2008 / Engelsk
Formal Methods at the Crossroads. From Panacea to Foundational Support 10th Anniversary Colloquium of UNU/IIST, the International Institute for Software Technology of The United Nations University, Lisbon, Portugal, March 18-20, 2002, Revised Papers Aichernig Bernhard K. Heftet / 2003 / Engelsk
Formal Methods and Software Engineering 10th International Conference on Formal Engineering Methods ICFEM 2008, Kitakyushu-City, Japan, October 27-31, 2008, Proceedings Liu Shaoying Heftet / 2008 / Engelsk
On the Construction of Engineering Handbooks with an Illustration from the Railway Safety Domain Gruner Stefan Heftet / 2020 / Engelsk