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