Hähnle, Reiner ; Huisman, Marieke
Hrsg.: Steffen, Bernhard ; Woeginger, Gerhard J. (2019)
Deductive Software Verification: From Pen-and-Paper Proofs to Industrial Tools.
In: Computing and Software Science - State of the Art and Perspectives
doi: 10.1007/978-3-319-91908-9_18
Buchkapitel, Bibliographie