@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
}

{"_id":"THubnmWjr7G9MKeDa","bibbaseid":"huisman-jacobs-vandenberg-acasestudyinclasslibraryverificationjavasvectorclass-2001","authorIDs":["5d14be645b939dee01000058"],"author_short":["Huisman, M.","Jacobs, B.","van den Berg, J."],"bibdata":{"bibtype":"article","type":"article","added-at":"2015-07-09T00:00:00.000+0200","author":[{"propositions":[],"lastnames":["Huisman"],"firstnames":["Marieke"],"suffixes":[]},{"propositions":[],"lastnames":["Jacobs"],"firstnames":["Bart"],"suffixes":[]},{"propositions":["van","den"],"lastnames":["Berg"],"firstnames":["Joachim"],"suffixes":[]}],"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","bibtex":"@article{journals/sttt/HuismanJB01,\n added-at = {2015-07-09T00:00:00.000+0200},\n author = {Huisman, Marieke and Jacobs, Bart and van den Berg, Joachim},\n biburl = {https://www.bibsonomy.org/bibtex/23e91ba8fa21e728281209cd19c041a2c/dblp},\n ee = {http://dx.doi.org/10.1007/s100090100047},\n interhash = {c94bc753acb8c780de4acce34846e251},\n intrahash = {3e91ba8fa21e728281209cd19c041a2c},\n journal = {STTT},\n keywords = {dblp},\n number = 3,\n pages = {332-352},\n timestamp = {2015-07-10T11:35:36.000+0200},\n title = {A case study in class library verification: Java's vector class.},\n url = {http://dblp.uni-trier.de/db/journals/sttt/sttt3.html#HuismanJB01},\n volume = 3,\n year = 2001\n}\n\n","author_short":["Huisman, M.","Jacobs, B.","van den Berg, J."],"key":"journals/sttt/HuismanJB01","id":"journals/sttt/HuismanJB01","bibbaseid":"huisman-jacobs-vandenberg-acasestudyinclasslibraryverificationjavasvectorclass-2001","role":"author","urls":{"Link":"http://dx.doi.org/10.1007/s100090100047","Paper":"http://dblp.uni-trier.de/db/journals/sttt/sttt3.html#HuismanJB01"},"keyword":["dblp"],"downloads":0},"bibtype":"article","biburl":"http://www.bibsonomy.org/bib/author/Marieke Huisman?items=1000","creationDate":"2019-06-27T13:02:29.139Z","downloads":0,"keywords":["dblp"],"search_terms":["case","study","class","library","verification","java","vector","class","huisman","jacobs","van den berg"],"title":"A case study in class library verification: Java's vector class.","year":2001,"dataSources":["sAaBbgDRpNpcvbGWj"]}