@inproceedings{ dblp3404220,
  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 = {dblp3404220},
  id = {dblp3404220},
  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":"53b0500a53ed86111a001cd4"},"__v":0,"authorIDs":["5461d3a38a9aab071c0000fe"],"author_short":["Aspinall, D.","Sevcík, J."],"bibbaseid":"aspinall-sevck-formalisingjavasdataracefreeguarantee-2007","bibdata":{"title":"Formalising Java's Data Race Free Guarantee","author":["David Aspinall","Jaroslav Sevcík"],"author_short":["Aspinall, D.","Sevcík, J."],"bibtype":"inproceedings","type":"inproceedings","year":"2007","key":"dblp3404220","id":"dblp3404220","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)","bibtex":"@inproceedings{ dblp3404220,\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 = {dblp3404220},\n id = {dblp3404220},\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}","bibbaseid":"aspinall-sevck-formalisingjavasdataracefreeguarantee-2007","role":"author","urls":{"Paper":"http://dx.doi.org/10.1007/978-3-540-74591-4_4"},"downloads":0},"bibtype":"inproceedings","biburl":"http://www.dblp.org/rec/bibtex/conf/tphol/AspinallS07","creationDate":"2014-06-29T17:42:34.195Z","downloads":0,"keywords":[],"search_terms":["formalising","java","data","race","free","guarantee","aspinall","sevcík"],"title":"Formalising Java's Data Race Free Guarantee","year":2007,"dataSources":["oYKcExJzefJXXsdNc"]}