BibTeX record conf/sosp/KleinEHACDEEKNSTW09

download as .bib file

@inproceedings{DBLP:conf/sosp/KleinEHACDEEKNSTW09,
  author       = {Gerwin Klein and
                  Kevin Elphinstone and
                  Gernot Heiser and
                  June Andronick and
                  David A. 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},
  editor       = {Jeanna Neefe Matthews and
                  Thomas E. Anderson},
  title        = {se{L}4: formal verification of an OS kernel.},
  booktitle    = {Proceedings of the 22nd {ACM} Symposium on Operating Systems Principles
                  2009, {SOSP} 2009, Big Sky, Montana, USA, October 11-14, 2009},
  pages        = {207--220},
  publisher    = {{ACM}},
  year         = {2009},
  url          = {https://doi.org/10.1145/1629575.1629596},
  doi          = {10.1145/1629575.1629596},
  timestamp    = {Mon, 09 Jan 2023 10:42:51 +0100},
  biburl       = {https://dblp.org/rec/conf/sosp/KleinEHACDEEKNSTW09.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
a service of  Schloss Dagstuhl - Leibniz Center for Informatics