@inproceedings{ dblp2846368,
  title = {Formalising Java's Data Race Free Guarantee},
  author = {David Aspinall and Jaroslav Sevcík},
  author_short = {Aspinall, D. and Sevcík, J.},
  bibtype = {inproceedings},
  type = {inproceedings},
  year = {2007},
  key = {dblp2846368},
  id = {dblp2846368},
  biburl = {http://www.dblp.org/rec/bibtex/conf/tphol/AspinallS07},
  url = {http://dx.doi.org/10.1007/978-3-540-74591-4_4},
  conference = {TPHOLs},
  pages = {22-37},
  text = {TPHOLs 2007:22-37},
  booktitle = {Proceedings of Theorem Proving in Higher Order Logics (TPHOLs)}
}

{"_id":{"_str":"5277dc255e011a4c4b00016e"},"__v":9,"authorIDs":[],"author_short":["Aspinall, D.","Sevcík, J."],"bibbaseid":"aspinall-sevck-formalisingjavaapossdataracefreeguarantee-2007","bibdata":{"downloads":0,"bibbaseid":"aspinall-sevck-formalisingjavaapossdataracefreeguarantee-2007","urls":{"Paper":"http://dx.doi.org/10.1007/978-3-540-74591-4_4"},"role":"author","bibtex":"@inproceedings{ dblp2846368,\n title = {Formalising Java's Data Race Free Guarantee},\n author = {David Aspinall and Jaroslav Sevcík},\n author_short = {Aspinall, D. and Sevcík, J.},\n bibtype = {inproceedings},\n type = {inproceedings},\n year = {2007},\n key = {dblp2846368},\n id = {dblp2846368},\n biburl = {http://www.dblp.org/rec/bibtex/conf/tphol/AspinallS07},\n url = {http://dx.doi.org/10.1007/978-3-540-74591-4_4},\n conference = {TPHOLs},\n pages = {22-37},\n text = {TPHOLs 2007:22-37},\n booktitle = {Proceedings of Theorem Proving in Higher Order Logics (TPHOLs)}\n}","booktitle":"Proceedings of Theorem Proving in Higher Order Logics (TPHOLs)","text":"TPHOLs 2007:22-37","pages":"22-37","conference":"TPHOLs","url":"http://dx.doi.org/10.1007/978-3-540-74591-4_4","biburl":"http://www.dblp.org/rec/bibtex/conf/tphol/AspinallS07","id":"dblp2846368","key":"dblp2846368","year":"2007","type":"inproceedings","bibtype":"inproceedings","author_short":["Aspinall, D.","Sevcík, J."],"author":["David Aspinall","Jaroslav Sevcík"],"title":"Formalising Java's Data Race Free Guarantee"},"bibtype":"inproceedings","biburl":"http://www.dblp.org/rec/bibtex/conf/tphol/AspinallS07","downloads":0,"keywords":[],"search_terms":["formalising","java","apos","data","race","free","guarantee","aspinall","sevcík"],"title":"Formalising Java's Data Race Free Guarantee","year":2007,"dataSources":["oYKcExJzefJXXsdNc"]}