Ahrendt, W., & Beckert, B. (2020). Deductive software verification: future perspectives: Reflections on the occasion of 20 years of KeY. Springer.
Chicago-Zitierstil (17. Ausg.)Ahrendt, Wolfgang, und Bernhard Beckert. Deductive Software Verification: Future Perspectives: Reflections on the Occasion of 20 Years of KeY. Cham: Springer, 2020.
MLA-Zitierstil (9. Ausg.)Ahrendt, Wolfgang, und Bernhard Beckert. Deductive Software Verification: Future Perspectives: Reflections on the Occasion of 20 Years of KeY. Springer, 2020.
Achtung: Diese Zitate sind unter Umständen nicht zu 100% korrekt.