Summary: Verifying Object-Oriented Programs with KeY:
A Tutorial
Wolfgang Ahrendt1
, Bernhard Beckert2
, Reiner H¨ahnle1
, Philipp R¨ummer1
,
and Peter H. Schmitt3
1
Department of Computer Science and Engineering,
Chalmers University of Technology and G¨oteborg University
ahrendt|reiner|philipp@chalmers.se
2
Department of Computer Science,
University of Koblenz-Landau
beckert@uni-koblenz.de
3
Department of Theoretical Computer Science,
University of Karlsruhe
pschmitt@ira.uka.de

Source: Ahrendt, Wolfgang - Department of Computer Science and Engineering, Chalmers University of Technology
Beckert, Bernhard - Fachbereich Informatik, Universität Koblenz-Landau

Collections: Computer Technologies and Information Sciences