%0 Conference Paper %1 conf/ecoopw/HuismanJB99 %A Huisman, Marieke %A Jacobs, Bart %A van den Berg, Joachim %B ECOOP Workshops %D 1999 %E Moreira, Ana M. D. %E Demeyer, Serge %I Springer %K dblp %P 109-110 %T A Case Study in Class Library Verification: Java's Vector Class. %U http://dblp.uni-trier.de/db/conf/ecoopw/ecoopw99.html#HuismanJB99 %V 1743 %@ 3-540-66954-X

@inproceedings{conf/ecoopw/HuismanJB99, 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/2c214650957704805210cc83dcc21f8af/dblp}, booktitle = {ECOOP Workshops}, crossref = {conf/ecoopw/1999}, editor = {Moreira, Ana M. D. and Demeyer, Serge}, ee = {https://doi.org/10.1007/3-540-46589-8}, interhash = {28176daa50772ced76ea3af9c0dc2d66}, intrahash = {c214650957704805210cc83dcc21f8af}, isbn = {3-540-66954-X}, keywords = {dblp}, pages = {109-110}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2020-06-16T12:06:04.000+0200}, title = {A Case Study in Class Library Verification: Java's Vector Class.}, url = {http://dblp.uni-trier.de/db/conf/ecoopw/ecoopw99.html#HuismanJB99}, volume = 1743, year = 1999 }