Logik und Formale Methoden

KeY: A Formal Method for Object-Oriented Systems