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
