APA-Zitierstil (7. Ausg.)

Ahrendt, W. (2016). Deductive software verification – the keY book: From theory to practice. Springer. https://doi.org/10.1007/978-3-319-49812-6

Chicago-Zitierstil (17. Ausg.)

Ahrendt, Wolfgang. Deductive Software Verification – the KeY Book: From Theory to Practice. [Cham]: Springer, 2016. https://doi.org/10.1007/978-3-319-49812-6.

MLA-Zitierstil (9. Ausg.)

Ahrendt, Wolfgang. Deductive Software Verification – the KeY Book: From Theory to Practice. Springer, 2016. https://doi.org/10.1007/978-3-319-49812-6.