@InProceedings{Cohen:TPHOLs2009-23,
  author =       "Ernie Cohen and Markus Dahlweid and Mark Hillebrand
                 and Dirk Leinenbach and Micha{\l} Moskal and Thomas
                 Santen and Wolfram Schulte and Stephan Tobies",
  title =        "{VCC}: {A} Practical System for Verifying Concurrent
                 {C}",
  pages =        "23--42",
  ee =           "http://dx.doi.org/10.1007/978-3-642-03359-9_2",
  editor =       "Stefan Berghofer and Tobias Nipkow and Christian Urban and Markus Wenzel",
  booktitle =    "Theorem Proving in Higher Order Logics (TPHOLs 2009)",
  address =      "Munich, Germany",
  year =         "2009",
  publisher =    "Springer",
  series =       "Lecture Notes in Computer Science",
  volume =       "5674",
  note =         "Invited paper.",
}