@InProceedings{Klein_10b,
    author =    {Gerwin Klein},
    title =     {The L4.verified Project - Next Steps},
    booktitle = {Proc.\ 3rd International Conference on Verified Software: Theories, Tools, Experiments (VSTTE'2010)},
    editor =    {Gary Leavens and Peter O'Hearn and Sriram Rajamani},
    year =      {2010},
    address =   {Edinburgh, UK},
    pages =     {86--96},
    month =     Aug,
    series =    {Lecture Notes in Computer Science},
    volume =    {6217},
    publisher =  {Springer},
}