@InProceedings{Klein_DE_09,
    author =    {Gerwin Klein and Philip Derrin and Kevin Elphinstone},
    title =     {Experience report: seL4 --- Formally Verifying a High-Performance Microkernel},
    booktitle = {Proc.\ 2009 ACM SIGPLAN International Conference on Functional Programming (ICFP)},
    year =         {2009},
    pages =        {91--96},
    month =        Aug,
    publisher =    {ACM},
}