@InProceedings{Winwood_KSACN_09,
    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 = {Proc.\ 22nd TPHOLs},
    editor =    {Stefan Berghofer and Tobias Nipkow and Christian Urban and Makarius Wenzel},
    year =         {2009},
    address =      {Munich, Germany},
    pages =        {500-515},
    month =        Aug,
    series =       {Lecture Notes in Computer Science},
    volume =       {5674},
    publisher =    {Springer},
}