@InProceedings{Winwood09:CVfnFwork,
  author =  {Simon Winwood and Gerwin Klein and Thomas Sewell and June Andronick and David Cock and Michael Norrish},
  title =   {Mind the Gap: A Verification Framework for Low-Level {C}},
  booktitle = {Theorem Proving in Higher Order Logics, 22nd International Conference ({TPHOLs}~2009)},
  pages =     {500-515},
  year =      2009,
  editor =    {Stefan Berghofer and Tobias Nipkow and Christian Urban and Makarius Wenzel},
  volume =    5674,
  series =    {Lecture Notes in Computer Science},
  month =     {August},
  publisher = {Springer}
}