Wolfgang Ahrendt

No bio available. Add one in Open Library.

Books by Wolfgang Ahrendt (50 max)

+ shelf+ list

Deductive Software Verification - the KeY Book: From Theory to Practice

2016

Wolfgang Ahrendt, Bernhard Beckert, Richard Bubel, Reiner Hähnle, Peter H. Schmitt

+ shelf+ list

Integrated Formal Methods 15th International Conference, IFM 2019, Bergen, Norway, December 2–6, 2019, Proceedings

2019

Wolfgang Ahrendt, Silvia Lizeth Tapia Tarifa

+ shelf+ list

Tests and Proofs 14th International Conference, TAP 2020, Held as Part of STAF 2020, Bergen, Norway, June 22–23, 2020, Proceedings

2020

Wolfgang Ahrendt, Heike Wehrheim

+ shelf+ list

Deductive Software Verification : Future Perspectives Reflections on the Occasion of 20 Years of KeY

2020

Wolfgang Ahrendt, Bernhard Beckert, Richard Bubel, Reiner Hähnle, Mattias Ulbrich

+ shelf+ list

Logic of Software. a Tasting Menu of Formal Methods: Essays Dedicated to Reiner Hähnle on the Occasion of His 60th Birthday

2022

Wolfgang Ahrendt, Bernhard Beckert, Richard Bubel, Einar Broch Johnsen