Search dblp for Publications

export results for "Formal verification of a realistic compiler"

 download as .bib file

@article{DBLP:journals/cacm/Leroy09,
  author    = {Xavier Leroy},
  title     = {Formal verification of a realistic compiler},
  journal   = {Commun. {ACM}},
  volume    = {52},
  number    = {7},
  pages     = {107--115},
  year      = {2009}
}
a service of  Schloss Dagstuhl - Leibniz Center for Informatics