@InProceedings{MLH07,
  author =       {Oleg M\"{u}rk and Daniel Larsson and Reiner H\"{a}hnle},
  title =        {{KeY-C}: A Tool for Verification of {C} Programs},
  booktitle =    {Proc. 21st Conference on Automated
                  Deduction (CADE), Bremen, Germany},
  year =         {2007},
  editor =       {Frank Pfenning},
  series =       {LNCS},
  volume = {4603},
  pages = {385--390},
  publisher =    {Springer-Verlag}
}