@InProceedings{Klein_10,
    author =    {Gerwin Klein},
    title =     {A Formally Verified OS Kernel. Now What?},
    booktitle = {Proc.\ First International Conference on Interactive Theorem Proving (ITP'2010)},
    editor =    {Matt Kaufmann and Lawrence C Paulson},
    year =         {2010},
    address =      {Edinburgh, UK},
    pages =        {1--7},
    month =        Jul,
    series =       {Lecture Notes in Computer Science},
    volume =       {6172},
    publisher =    {Springer},
}