@inproceedings{Klein_10,
    address          = {Shanghai, China},
    author           = {Klein, Gerwin},
    booktitle        = {Asian Symposium on Programming Languages and Systems (APLAS)},
    editor           = {{Kazunori Ueda}},
    isbn             = {3-642-17163-X},
    keywords         = {sel4, isabelle, os verification},
    month            = nov,
    pages            = {21--33},
    paperurl         = {https://trustworthy.systems/publications/nicta_full_text/4180.pdf},
    publisher        = {Springer},
    series           = {Lecture Notes in Computer Science},
    title            = {From a Verified Kernel Towards Verified Systems},
    volume           = {6461},
    year             = {2010}
  }