Reasoning about Java Classes (Preliminary Report).

Bart Jacobs, Joachim van den Berg, Marieke Huisman, Martijn van Berkum

Browse the full OOPSLA paper archive.