A case study in class library verification: Java’s vector class (1999)

by Marieke Huisman, Bart Jacobs, Joachim van den Berg
Venue:Object-Oriented Technology: ECOOP’99 Workshop Reader