A case study in class library verification: Java's vector class. Huisman, M., Jacobs, B., & van den Berg, J. STTT, 3(3):332-352, 2001.
A case study in class library verification: Java's vector class. [link]Link  A case study in class library verification: Java's vector class. [link]Paper  bibtex   
@article{journals/sttt/HuismanJB01,
  added-at = {2015-07-09T00:00:00.000+0200},
  author = {Huisman, Marieke and Jacobs, Bart and van den Berg, Joachim},
  biburl = {https://www.bibsonomy.org/bibtex/23e91ba8fa21e728281209cd19c041a2c/dblp},
  ee = {http://dx.doi.org/10.1007/s100090100047},
  interhash = {c94bc753acb8c780de4acce34846e251},
  intrahash = {3e91ba8fa21e728281209cd19c041a2c},
  journal = {STTT},
  keywords = {dblp},
  number = 3,
  pages = {332-352},
  timestamp = {2015-07-10T11:35:36.000+0200},
  title = {A case study in class library verification: Java's vector class.},
  url = {http://dblp.uni-trier.de/db/journals/sttt/sttt3.html#HuismanJB01},
  volume = 3,
  year = 2001
}
Downloads: 0