Reiner Hähnle

5 references under this name, matched as it is written. Somebody else may write under it too, and the same person may appear here spelled another way.

Dijkstra's legacy on program verification
Reiner Hähnle (2022) · Edsger Wybe Dijkstra: His Life, Work, and Legacy
Deductive Software Verification – The KeY Book
Mattias Ulbrich et al. (2016)
OpenJDK's Java.utils.Collection.sort() Is Broken: The Good, the Bad and the Worst Case
Stijn de Gouw et al. (2015) · Computer Aided Verification
Verification of object-oriented software: The KeY approach
Bernhard Beckert et al. (2007)
Taclets: A New Paradigm for Constructing Interactive Theorem Provers
Bernhard Beckert et al. (2004) · RACSAM