APA (7th ed.) Citation

Ahrendt, W. (2016). Deductive software verification – the keY book: From theory to practice. Springer.

Chicago Style (17th ed.) Citation

Ahrendt, Wolfgang. Deductive Software Verification – the KeY Book: From Theory to Practice. Cham: Springer, 2016.

MLA (9th ed.) Citation

Ahrendt, Wolfgang. Deductive Software Verification – the KeY Book: From Theory to Practice. Springer, 2016.