Logic and Formal Methods

KeY: A Formal Method for Object-Oriented Systems