Deductive Software Verification: Future Perspectives: Reflections on the Occasion of 20 Years of KeY

MLA

Ahrendt, et al. Deductive Software Verification: Future Perspectives: Reflections On the Occasion of 20 Years of Key. Springer International Publishing, 2020.

APA

Ahrendt, A., Beckert, B., Bubel, R., Hähnle, R., & Ulbrich, M. (2020). Deductive Software Verification: Future Perspectives: Reflections on the Occasion of 20 Years of KeY. Springer International Publishing.

Chicago

Ahrendt, Bernhard Beckert, Richard Bubel, Reiner Hähnle, and Mattias Ulbrich. Deductive Software Verification: Future Perspectives: Reflections On the Occasion of 20 Years of Key. : Springer International Publishing, 2020.