@article{Klein_09_2,
    author           = {Klein, Gerwin},
    journal          = {USENIX ;login:},
    keywords         = {sel4, microkernel, isabelle, formal verification},
    month            = dec,
    number           = {6},
    pages            = {28--34},
    paperurl         = {https://trustworthy.systems/publications/nicta_full_text/3159.pdf},
    title            = {Correct {OS} kernel? Proof? Done!},
    volume           = {34},
    year             = {2009}
  }