@inproceedings{Elphinstone_KK_06,
    month            = aug,
    paperurl         = {https://trustworthy.systems/publications/papers/Elphinstone_KK_06.pdf},
    editor           = {Rustan Leino},
    series           = {Microsoft Research Technical Report MSR-TR-2006-117},
    author           = {Kevin Elphinstone and Gerwin Klein and Rafal Kolanski},
    year             = {2006},
    address          = {Seattle, USA},
    booktitle        = {Workshop on Verified Software: Theories, Tools, and Experiments (VSTTE 06)},
    title            = {Formalising a High-Performance Microkernel},
    pages            = {1-7}
  }