@inproceedings{Klein_DE_09,
    month            = aug,
    publisher        = {ACM},
    paperurl         = {https://trustworthy.systems/publications/nicta_full_text/1817.pdf},
    booktitle        = {Proceedings of the 14th International Conference on Functional Programming},
    author           = {Gerwin Klein and Philip Derrin and Kevin Elphinstone},
    title            = {Experience Report: {seL4} --- Formally Verifying a High-Performance Microkernel},
    address          = {Edinburgh, UK},
    pages            = {91--96},
    year             = {2009},
    video            = {http://vimeo.com/6628930}
  }