Marieke Huisman, Bart Jacobs, Joachim van den Berg. A Case Study in Class Library Verification: Java s Vector Class. In Ana M. D. Moreira, Serge Demeyer, editors, Object-Oriented Technology, ECOOP 99 Workshop Reader, ECOOP 99 Workshops, Panels, and Posters, Lisbon, Portugal, June 14-18, 1999, Proceedings. Volume 1743 of Lecture Notes in Computer Science, pages 109-110, Springer, 1999.
@inproceedings{HuismanJB99, title = {A Case Study in Class Library Verification: Java s Vector Class}, author = {Marieke Huisman and Bart Jacobs and Joachim van den Berg}, year = {1999}, tags = {Java, case study}, researchr = {https://researchr.org/publication/HuismanJB99}, cites = {0}, citedby = {0}, pages = {109-110}, booktitle = {Object-Oriented Technology, ECOOP 99 Workshop Reader, ECOOP 99 Workshops, Panels, and Posters, Lisbon, Portugal, June 14-18, 1999, Proceedings}, editor = {Ana M. D. Moreira and Serge Demeyer}, volume = {1743}, series = {Lecture Notes in Computer Science}, publisher = {Springer}, isbn = {3-540-66954-X}, }