KleinEHACDEEKNSTW09'

BibTeX

@inproceedings{DBLP:conf/sosp/KleinEHACDEEKNSTW09,
  author    = {Gerwin Klein and
               Kevin Elphinstone and
               Gernot Heiser and
               June Andronick and
               David Cock and
               Philip Derrin and
               Dhammika Elkaduwe and
               Kai Engelhardt and
               Rafal Kolanski and
               Michael Norrish and
               Thomas Sewell and
               Harvey Tuch and
               Simon Winwood},
  title     = {seL4: formal verification of an OS kernel},
  booktitle = {SOSP},
  year      = {2009},
  pages     = {207-220},
  ee        = {http://doi.acm.org/10.1145/1629575.1629596},
  crossref  = {DBLP:conf/sosp/2009},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}

@proceedings{DBLP:conf/sosp/2009,
  editor    = {Jeanna Neefe Matthews and
               Thomas E. Anderson},
  title     = {Proceedings of the 22nd ACM Symposium on Operating Systems
               Principles 2009, SOSP 2009, Big Sky, Montana, USA, October
               11-14, 2009},
  booktitle = {SOSP},
  publisher = {ACM},
  year      = {2009},
  isbn      = {978-1-60558-752-3},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}