A Case Study in Class Library Verification: Java’s Vector Class M. Huisman, B.P.F. Jacobs, J.A.G.M. van den Berg Computing Science Institute/ CSI-R0007 March 2000