BibTeX record conf/serp/Hurlin08

download as .bib file

@inproceedings{DBLP:conf/serp/Hurlin08,
  author    = {Cl{\'{e}}ment Hurlin},
  editor    = {Hamid R. Arabnia and
               Hassan Reza},
  title     = {Specifying Correct Protocols of Multithreaded Java-like Programs},
  booktitle = {Proceedings of the 2008 International Conference on Software Engineering
               Research {\&} Practice, {SERP} 2008, July 14-17, 2008, Las Vegas
               Nevada, USA, 2 Volumes},
  pages     = {127--133},
  publisher = {{CSREA} Press},
  year      = {2008},
  timestamp = {Mon, 09 Feb 2009 10:30:01 +0100},
  biburl    = {https://dblp.org/rec/conf/serp/Hurlin08.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
a service of  Schloss Dagstuhl - Leibniz Center for Informatics