Integrated Formal Methods 7th International Conference, IFM 2009, Düsseldorf, Germany, February 16-19, 2009, Proceedings Leuschel Michael Heftet / 2009 / Engelsk
Rigorous State-Based Methods 10th International Conference, ABZ 2024, Bergamo, Italy, June 25–28, 2024, Proceedings Bonfanti, Silvia Heftet / 2024 / Engelsk
Formal Methods for Components and Objects 8th International Symposium, FMCO 2009, Eindhoven, The Netherlands, November 4-6, 2009. Revised Selected Papers de Boer, Frank S. Heftet / 2011 / Engelsk
Abstract State Machines, Alloy, B, VDM, and Z Third International Conference, ABZ 2012, Pisa, Italy, June 18-21, 2012. Proceedings Derrick John Heftet / 2012 / Engelsk
