@inproceedings{Winwood_KSACN_09,
    address          = {Munich, Germany},
    author           = {Winwood, Simon and Klein, Gerwin and Sewell, Thomas and Andronick, June and Cock, David and Norrish,
                        Michael},
    booktitle        = {International Conference on Theorem Proving in Higher Order Logics},
    doi              = {10.1007/978-3-642-03359-9_34},
    editor           = {{S. Berghofer, T. Nipkow, C. Urban, M. Wenzel}},
    keywords         = {sel4, isabelle, os verification, c},
    month            = aug,
    pages            = {500--515},
    paperurl         = {https://trustworthy.systems/publications/nicta_full_text/1842.pdf},
    publisher        = {Springer},
    title            = {Mind the Gap: A Verification Framework for Low-Level {C}},
    year             = {2009}
  }