@InProceedings{Klein_10c,
    author =    {Gerwin Klein},
    title =     {From a Verified Kernel towards Verified Systems},
    booktitle = {Proc.\ 8th Asian Symposium on Programming Languages and Systems (APLAS 2010)},
    editor =    {Kazunori Ueda},
    year =      {2010},
    address =   {Shanghai, China},
    pages =     {21--33},
    month =     Nov,
    series =    {Lecture Notes in Computer Science},
    volume =    {6461},
    publisher =  {Springer},
}