@inproceedings{Klein_10_2,
    address          = {Edinburgh, UK},
    author           = {Klein, Gerwin},
    booktitle        = {Verified Software: Theories, Tools and Experiments},
    editor           = {{Gary T. Leavens, Peter O’Hearn, Sriram K. Rajmani}},
    isbn             = {3-642-15056-X},
    keywords         = {sel4, isabelle, os verification},
    month            = aug,
    pages            = {86--96},
    paperurl         = {https://trustworthy.systems/publications/nicta_full_text/3989.pdf},
    publisher        = {Springer},
    title            = {The L4.verified Project -- Next Steps},
    year             = {2010}
  }