@phdthesis{DBLP:phd/hal/Hurlin09,
  author    = {Cl{\'{e}}ment Hurlin},
  title     = {Specification and Verification of Multithreaded Object-Oriented Programs
               with Separation Logic. (Sp{\'{e}}cification et v{\'{e}}rification
               de programmes orient{\'{e}}s objets en logique de s{\'{e}}paration)},
  school    = {University of Nice Sophia Antipolis, France},
  year      = {2009},
  url       = {https://tel.archives-ouvertes.fr/tel-00424979},
  timestamp = {Fri, 15 Jul 2016 22:10:33 +0200},
  biburl    = {https://dblp.org/rec/bib/phd/hal/Hurlin09},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}

{"_id":"Crs9Kf3aRaFbRyMcn","bibbaseid":"hurlin-specificationandverificationofmultithreadedobjectorientedprogramswithseparationlogicspcificationetvrificationdeprogrammesorientsobjetsenlogiquedesparation-2009","authorIDs":[],"author_short":["Hurlin, C."],"bibdata":{"bibtype":"phdthesis","type":"phdthesis","author":[{"firstnames":["Clément"],"propositions":[],"lastnames":["Hurlin"],"suffixes":[]}],"title":"Specification and Verification of Multithreaded Object-Oriented Programs with Separation Logic. (Spécification et vérification de programmes orientés objets en logique de séparation)","school":"University of Nice Sophia Antipolis, France","year":"2009","url":"https://tel.archives-ouvertes.fr/tel-00424979","timestamp":"Fri, 15 Jul 2016 22:10:33 +0200","biburl":"https://dblp.org/rec/bib/phd/hal/Hurlin09","bibsource":"dblp computer science bibliography, https://dblp.org","bibtex":"@phdthesis{DBLP:phd/hal/Hurlin09,\n author = {Cl{\\'{e}}ment Hurlin},\n title = {Specification and Verification of Multithreaded Object-Oriented Programs\n with Separation Logic. (Sp{\\'{e}}cification et v{\\'{e}}rification\n de programmes orient{\\'{e}}s objets en logique de s{\\'{e}}paration)},\n school = {University of Nice Sophia Antipolis, France},\n year = {2009},\n url = {https://tel.archives-ouvertes.fr/tel-00424979},\n timestamp = {Fri, 15 Jul 2016 22:10:33 +0200},\n biburl = {https://dblp.org/rec/bib/phd/hal/Hurlin09},\n bibsource = {dblp computer science bibliography, https://dblp.org}\n}\n","author_short":["Hurlin, C."],"key":"DBLP:phd/hal/Hurlin09","id":"DBLP:phd/hal/Hurlin09","bibbaseid":"hurlin-specificationandverificationofmultithreadedobjectorientedprogramswithseparationlogicspcificationetvrificationdeprogrammesorientsobjetsenlogiquedesparation-2009","role":"author","urls":{"Paper":"https://tel.archives-ouvertes.fr/tel-00424979"},"metadata":{"authorlinks":{}},"downloads":1,"html":""},"bibtype":"phdthesis","biburl":"https://raw.githubusercontent.com/utwente-fmt/vercors-web/master/static/references.bib","creationDate":"2019-07-22T08:50:17.012Z","downloads":1,"keywords":[],"search_terms":["specification","verification","multithreaded","object","oriented","programs","separation","logic","cification","rification","programmes","orient","objets","logique","paration","hurlin"],"title":"Specification and Verification of Multithreaded Object-Oriented Programs with Separation Logic. (Spécification et vérification de programmes orientés objets en logique de séparation)","year":2009,"dataSources":["2tJugFYAignELAmZo","zT4KxAXTKvhK2Hrr4","cCvCnPTRQYq3qPe9y"]}