Deductive Software Verification – The KeY Book

MLA

Ahrendt, et al. Deductive Software Verification – The Key Book. Springer International Publishing, 2016.

APA

Ahrendt, A., Beckert, B., Bubel, R., Hähnle, R., Schmitt, P. H, & Ulbrich, M. (2016). Deductive Software Verification – The KeY Book. Springer International Publishing.

Chicago

Ahrendt, Bernhard Beckert, Richard Bubel, Reiner Hähnle, Peter H Schmitt, and Mattias Ulbrich. Deductive Software Verification – The Key Book. : Springer International Publishing, 2016.