@inproceedings{Klein_NEH_07,
    address          = {Baltimore, MD, USA},
    author           = {Gerwin Klein and Michael Norrish and Kevin Elphinstone and Gernot Heiser},
    booktitle        = {Annual High-Confidence Software and Systems Conference},
    month            = may,
    organization     = {National Security Agency},
    paperurl         = {https://trustworthy.systems/publications/papers/Klein_NEH_07.pdf},
    title            = {Verifying a High-Performance Micro-Kernel},
    year             = {2007}
  }