Formal Methods for Open Object-Based Distributed Systems 7th IFIP WG 6.1 International Conference, FMOODS 2005, Athens, Greece, June 15-17, 2005, Proceedings Steffen Martin Heftet / 2005 / Engelsk
Software Engineering and Formal Methods SEFM 2019 Collocated Workshops: CoSim-CPS, ASYDE, CIFMA, and FOCLASA, Oslo, Norway, September 16–20, 2019, Revised Selected Papers Camara Javier Heftet / 2020 / Engelsk
Concurrency, Compositionality, and Correctness Essays in Honor of Willem-Paul de Roever Dams Dennis Heftet / 2010 / Engelsk
