A case study in class library verification: Java's Vector class (0)

by Marieke Huisman, Bart P F Jacobs, Joachim A G M van den Berg
Venue:International Journal on Software Tools for Technlogy Transfer