@inproceedings{DBLP:conf/amast/HaackH08,
  author    = {Christian Haack and Cl{\'{e}}ment Hurlin},
  title     = {Separation Logic Contracts for a Java-Like Language with Fork/Join},
  booktitle = {Algebraic Methodology and Software Technology, 12th International
               Conference, {AMAST} 2008, Urbana, IL, USA, July 28-31, 2008, Proceedings},
  pages     = {199--215},
  year      = {2008},
  crossref  = {DBLP:conf/amast/2008},
  url       = {https://doi.org/10.1007/978-3-540-79980-1\_16},
  doi       = {10.1007/978-3-540-79980-1\_16},
  timestamp = {Tue, 14 May 2019 10:00:38 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/amast/HaackH08},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}

{"_id":"ZxrznFBDigauHXane","bibbaseid":"haack-hurlin-separationlogiccontractsforajavalikelanguagewithforkjoin-2008","authorIDs":[],"author_short":["Haack, C.","Hurlin, C."],"bibdata":{"bibtype":"inproceedings","type":"inproceedings","author":[{"firstnames":["Christian"],"propositions":[],"lastnames":["Haack"],"suffixes":[]},{"firstnames":["Clément"],"propositions":[],"lastnames":["Hurlin"],"suffixes":[]}],"title":"Separation Logic Contracts for a Java-Like Language with Fork/Join","booktitle":"Algebraic Methodology and Software Technology, 12th International Conference, AMAST 2008, Urbana, IL, USA, July 28-31, 2008, Proceedings","pages":"199–215","year":"2008","crossref":"DBLP:conf/amast/2008","url":"https://doi.org/10.1007/978-3-540-79980-1\\_16","doi":"10.1007/978-3-540-79980-1_16","timestamp":"Tue, 14 May 2019 10:00:38 +0200","biburl":"https://dblp.org/rec/bib/conf/amast/HaackH08","bibsource":"dblp computer science bibliography, https://dblp.org","bibtex":"@inproceedings{DBLP:conf/amast/HaackH08,\n author = {Christian Haack and Cl{\\'{e}}ment Hurlin},\n title = {Separation Logic Contracts for a Java-Like Language with Fork/Join},\n booktitle = {Algebraic Methodology and Software Technology, 12th International\n Conference, {AMAST} 2008, Urbana, IL, USA, July 28-31, 2008, Proceedings},\n pages = {199--215},\n year = {2008},\n crossref = {DBLP:conf/amast/2008},\n url = {https://doi.org/10.1007/978-3-540-79980-1\\_16},\n doi = {10.1007/978-3-540-79980-1\\_16},\n timestamp = {Tue, 14 May 2019 10:00:38 +0200},\n biburl = {https://dblp.org/rec/bib/conf/amast/HaackH08},\n bibsource = {dblp computer science bibliography, https://dblp.org}\n}\n\n","author_short":["Haack, C.","Hurlin, C."],"key":"DBLP:conf/amast/HaackH08","id":"DBLP:conf/amast/HaackH08","bibbaseid":"haack-hurlin-separationlogiccontractsforajavalikelanguagewithforkjoin-2008","role":"author","urls":{"Paper":"https://doi.org/10.1007/978-3-540-79980-1\\_16"},"metadata":{"authorlinks":{}},"downloads":3,"html":""},"bibtype":"inproceedings","biburl":"https://raw.githubusercontent.com/utwente-fmt/vercors-web/master/static/references.bib","creationDate":"2019-07-02T12:17:56.512Z","downloads":3,"keywords":[],"search_terms":["separation","logic","contracts","java","language","fork","join","haack","hurlin"],"title":"Separation Logic Contracts for a Java-Like Language with Fork/Join","year":2008,"dataSources":["2tJugFYAignELAmZo","zT4KxAXTKvhK2Hrr4","cCvCnPTRQYq3qPe9y"]}