AHRENDT, Wolfgang, BECKERT, Bernhard, BUBEL, Richard, HÄHNLE, Reiner und ULBRICH, Mattias (Hrsg.). 1 st ed. 2020. Cham: Springer International Publishing. ISBN 9783030643546.
Elsevier - Harvard (with titles)Ahrendt, W., Beckert, B., Bubel, R., Hähnle, R., Ulbrich, M. (Hrsg.), 2020. Deductive Software Verification: Future Perspectives : Reflections on the Occasion of 20 Years of Ke Y, 1 st ed. 2020. ed, Programming and Software Engineering. Springer International Publishing, Cham. https://doi.org/10.1007/978-3-030-64354-6
American Psychological Association 7th editionDeductive Software Verification: Future Perspectives : Reflections on the Occasion of 20 Years of Ke Y. (ca. 2020). [Cd]. In W. Ahrendt, B. Beckert, R. Bubel, R. Hähnle, & M. Ulbrich (Hrsg.), Programming and Software Engineering (1 st ed. 2020). Springer International Publishing. https://doi.org/10.1007/978-3-030-64354-6
Springer - Basic (author-date)Ahrendt W, Beckert B, Bubel R, Hähnle R, Ulbrich M (Hrsg.) (2020) Deductive Software Verification: Future Perspectives : Reflections on the Occasion of 20 Years of Ke Y, 1 st ed. 2020. Springer International Publishing, Cham
Juristische Zitierweise (Stüber) (Deutsch)Ahrendt, Wolfgang/ Beckert, Bernhard/ Bubel, Richard/ Hähnle, Reiner/ Ulbrich, Mattias (Hrsg.), Deductive Software Verification: Future Perspectives : Reflections on the Occasion of 20 Years of Ke Y, 1 st ed. 2020 , Cham 2020.