Ahrendt, W. (2016). Deductive software verification – the keY book: From theory to practice. Springer.
Chicago-Zitierstil (17. Ausg.)Ahrendt, Wolfgang. Deductive Software Verification – the KeY Book: From Theory to Practice. Cham: Springer, 2016.
MLA-Zitierstil (9. Ausg.)Ahrendt, Wolfgang. Deductive Software Verification – the KeY Book: From Theory to Practice. Springer, 2016.
Achtung: Diese Zitate sind unter Umständen nicht zu 100% korrekt.