Logik und Formale Methoden

Verification of Object-Oriented Software: The KeY Approach