@inproceedings{ dblp4125727,
  title = {Automatic Certification of Heap Consumption},
  author = {Lennart Beringer and Martin Hofmann 0001 and Alberto Momigliano and Olha Shkaravska},
  author_short = {Beringer, L. and Hofmann 0001, M. and Momigliano, A. and Shkaravska, O.},
  bibtype = {inproceedings},
  type = {inproceedings},
  year = {2004},
  key = {dblp4125727},
  id = {dblp4125727},
  biburl = {http://www.dblp.org/rec/bibtex/conf/lpar/BeringerHMS04},
  url = {http://dx.doi.org/10.1007/978-3-540-32275-7_23},
  conference = {LPAR},
  pages = {347-362},
  text = {LPAR 2004:347-362},
  booktitle = {Proceedings of Logic Programming and Automated Reasoning (LPAR)}
}

{"_id":{"_str":"52a3062f9eb585cc26001f22"},"__v":3,"authorIDs":["5480332fa29145d03f000f13"],"author_short":["Beringer, L.","Hofmann 0001, M.","Momigliano, A.","Shkaravska, O."],"bibbaseid":"beringer-hofmann0001-momigliano-shkaravska-automaticcertificationofheapconsumption-2004","bibdata":{"title":"Automatic Certification of Heap Consumption","author":["Lennart Beringer","Martin Hofmann 0001","Alberto Momigliano","Olha Shkaravska"],"author_short":["Beringer, L.","Hofmann 0001, M.","Momigliano, A.","Shkaravska, O."],"bibtype":"inproceedings","type":"inproceedings","year":"2004","key":"dblp4125727","id":"dblp4125727","biburl":"http://www.dblp.org/rec/bibtex/conf/lpar/BeringerHMS04","url":"http://dx.doi.org/10.1007/978-3-540-32275-7_23","conference":"LPAR","pages":"347-362","text":"LPAR 2004:347-362","booktitle":"Proceedings of Logic Programming and Automated Reasoning (LPAR)","bibtex":"@inproceedings{ dblp4125727,\n title = {Automatic Certification of Heap Consumption},\n author = {Lennart Beringer and Martin Hofmann 0001 and Alberto Momigliano and Olha Shkaravska},\n author_short = {Beringer, L. and Hofmann 0001, M. and Momigliano, A. and Shkaravska, O.},\n bibtype = {inproceedings},\n type = {inproceedings},\n year = {2004},\n key = {dblp4125727},\n id = {dblp4125727},\n biburl = {http://www.dblp.org/rec/bibtex/conf/lpar/BeringerHMS04},\n url = {http://dx.doi.org/10.1007/978-3-540-32275-7_23},\n conference = {LPAR},\n pages = {347-362},\n text = {LPAR 2004:347-362},\n booktitle = {Proceedings of Logic Programming and Automated Reasoning (LPAR)}\n}","bibbaseid":"beringer-hofmann0001-momigliano-shkaravska-automaticcertificationofheapconsumption-2004","role":"author","urls":{"Paper":"http://dx.doi.org/10.1007/978-3-540-32275-7_23"},"downloads":0},"bibtype":"inproceedings","biburl":"http://www.dblp.org/rec/bibtex/conf/lpar/BeringerHMS04","downloads":0,"keywords":[],"search_terms":["automatic","certification","heap","consumption","beringer","hofmann 0001","momigliano","shkaravska"],"title":"Automatic Certification of Heap Consumption","year":2004,"dataSources":["QNv2BLhBYbXM3JXMe"]}