
Wolfgang Ahrendt

Sie vermissen als Autor:in Ihre Personenangaben? Dann klicken Sie hier!
14th International Conference, TAP 2020, Held as Part of STAF 2020, Bergen, Norway, June 22-23, 2020, Proceedings
2020eBookSpringer International Publishing
Ahrendt / Beckert / Bubel / Hähnle / Ulbrich
Deductive Software Verification: Future Perspectives
Reflections on the Occasion of 20 Years of KeY
2020eBookSpringer International Publishing
Ahrendt / Tapia Tarifa
15th International Conference, IFM 2019, Bergen, Norway, December 2-6, 2019, Proceedings
2019eBookSpringer International Publishing
Ahrendt / Beckert / Bubel / Hähnle / Schmitt / Ulbrich
Deductive Software Verification - The KeY Book
From Theory to Practice
2016eBookSpringer International Publishing