APA Citation

(2016). Deductive software verification - the KeY book: From theory to practice.

Chicago Style Citation

Deductive Software Verification - the KeY Book: From Theory to Practice. 2016.

MLA Citation

Deductive Software Verification - the KeY Book: From Theory to Practice. 2016.

Warning: These citations may not always be 100% accurate.