@InProceedings{Dahlweid:ICSE2009-429,
  title =        "{VCC}: Contract-based Modular Verification of
                 Concurrent {C}",
  author =       "Markus Dahlweid and Micha{\l} Moskal and Thomas Santen
                 and Stephan Tobies and Wolfram Schulte",
  booktitle =    "ICSE Companion 2009: 31st International Conference on
                 Software Engineering",
  pages =        "429--430",
  publisher =    "IEEE",
  year =         "2009",
  month =        may,
  ee =           "http://dx.doi.org/10.1109/ICSE-COMPANION.2009.5071046",
}