APA (7th ed.) Citation

SpringerLink (Online service), Ahrendt, W., Beckert, B., Bubel, R., Hähnle, R., Schmitt, P. H., & Ulbrich, M. (2016). Deductive Software Verification – The KeY Book: From Theory to Practice. Springer International Publishing : Imprint: Springer.

Chicago Style (17th ed.) Citation

SpringerLink (Online service), Wolfgang Ahrendt, Bernhard Beckert, Richard Bubel, Reiner Hähnle, Peter H. Schmitt, and Mattias Ulbrich. Deductive Software Verification – The KeY Book: From Theory to Practice. Cham: Springer International Publishing : Imprint: Springer, 2016.

MLA (8th ed.) Citation

SpringerLink (Online service), et al. Deductive Software Verification – The KeY Book: From Theory to Practice. Springer International Publishing : Imprint: Springer, 2016.