Logik und Formale Methoden

Specifying Selected Parts of the Java API Using Dynamic Frames