FM 2015: Formal Methods 20th International Symposium, Oslo, Norway, June 24-26, 2015, Proceedings Bjørner, Nikolaj Heftet / 2015 / Engelsk
Software Engineering and Formal Methods 18th International Conference, SEFM 2020, Amsterdam, The Netherlands, September 14–18, 2020, Proceedings de Boer, Frank Heftet / 2020 / Engelsk
It's All About Coordination Essays to Celebrate the Lifelong Scientific Achievements of Farhad Arbab de Boer, Frank Heftet / 2018 / Engelsk
