@inproceedings{Tuch_Klein_04,
    address          = {Sydney, Australia},
    author           = {Harvey Tuch and Gerwin Klein},
    booktitle        = {Proceedings of the {NICTA} workshop on {OS} verification 2004, Technical Report 0401005T-1},
    editor           = {Gerwin Klein},
    month            = oct,
    pages            = {73--97},
    paperurl         = {https://trustworthy.systems/publications/papers/Tuch_Klein_04.pdf},
    publisher        = {NICTA},
    title            = {Verifying the {L4} Virtual Memory Subsystem},
    year             = {2004}
  }