Tests and Proofs 14th International Conference, TAP 2020, Held as Part of STAF 2020, Bergen, Norway, June 22–23, 2020, Proceedings Ahrendt, Wolfgang Heftet / 2020 / Engelsk
Integrated Formal Methods 15th International Conference, IFM 2019, Bergen, Norway, December 2–6, 2019, Proceedings Ahrendt, Wolfgang Heftet / 2019 / Engelsk
Logic of Software. A Tasting Menu of Formal Methods Essays Dedicated to Reiner Hähnle on the Occasion of His 60th Birthday Ahrendt, Wolfgang Heftet / 2022 / Engelsk
Deductive Software Verification: Future Perspectives Reflections on the Occasion of 20 Years of KeY Ahrendt, Wolfgang Heftet / 2020 / Engelsk
Deductive Software Verification – The KeY Book From Theory to Practice Ahrendt, Wolfgang Heftet / 2016 / Engelsk
