Search dblp for Publications

export results for "Translation validation for a verified OS kernel"

 download as .bib file

@inproceedings{DBLP:conf/pldi/SewellMK13,
  author    = {Thomas Arthur Leck Sewell and
               Magnus O. Myreen and
               Gerwin Klein},
  title     = {Translation validation for a verified {OS} kernel},
  booktitle = {{PLDI}},
  pages     = {471--482},
  publisher = {{ACM}},
  year      = {2013}
}
a service of  Schloss Dagstuhl - Leibniz Center for Informatics