Logic and Formal Methods

Specifying Selected Parts of the Java API Using Dynamic Frames