DahlweidMSTS09'

BibTeX

@inproceedings{DBLP:conf/icse/DahlweidMSTS09,
  author    = {Markus Dahlweid and
               Michal Moskal and
               Thomas Santen and
               Stephan Tobies and
               Wolfram Schulte},
  title     = {VCC: Contract-based modular verification of concurrent C},
  booktitle = {ICSE Companion},
  year      = {2009},
  pages     = {429-430},
  ee        = {http://dx.doi.org/10.1109/ICSE-COMPANION.2009.5071046},
  crossref  = {DBLP:conf/icse/2009c},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}

@proceedings{DBLP:conf/icse/2009c,
  title     = {31st International Conference on Software Engineering, ICSE
               2009, May 16-24, 2009, Vancouver, Canada, Companion Volume},
  booktitle = {ICSE Companion},
  publisher = {IEEE},
  year      = {2009},
  isbn      = {978-1-4244-3494-7},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}