@inproceedings{Klein_Tuch_04,
    address          = {Park City, Utah, USA},
    author           = {Gerwin Klein and Harvey Tuch},
    booktitle        = {TPHOLs Emerging Trends '04},
    editor           = {Konrad Slind},
    month            = sep,
    pages            = {16 pages},
    paperurl         = {https://trustworthy.systems/publications/papers/Klein_Tuch_04.pdf},
    title            = {Towards Verified Virtual Memory in {L4}},
    year             = {2004}
  }