Formal Methods for Industrial Applications Specifying and Programming the Steam Boiler Control Abrial Jean-Raymond Heftet / 1996 / Engelsk
Compositionality: The Significant Difference International Symposium, COMPOS’97 Bad Malente, Germany, September 8–12, 1997 Revised Lectures Roever, Willem-Paul de Heftet / 1998 / Engelsk
Formal Techniques in Real-Time and Fault-Tolerant Systems Third International Symposium Organized Jointly with the Working Group Provably Correct Systems - ProCos, Lübeck, Germany, September 19 - 23, 1994. Proceedings Langmaack Hans Heftet / 1994 / Engelsk
VDM '90. VDM and Z - Formal Methods in Software Development Third International Symposium of VDM Europe, Kiel, FRG, April 17-21, 1990, Proceedings Bjorner Dines Heftet / 1990 / Engelsk
