Logik und Formale Methoden

Verifying Object-Oriented Programs with KeY: A Tutorial