@inproceedings{Klein_10_1,
    address          = {Edinburgh, UK},
    author           = {Klein, Gerwin},
    booktitle        = {International Conference on Interactive Theorem Proving},
    editor           = {{M. Kaufmann and L. Paulson}},
    isbn             = {3-642-14051-3},
    keywords         = {isabelle/hol, sel4},
    month            = jul,
    pages            = {1--7},
    paperurl         = {https://trustworthy.systems/publications/nicta_full_text/3844.pdf},
    publisher        = {Springer},
    title            = {A Formally Verified {OS} Kernel. Now What?},
    year             = {2010}
  }