publications:
- title: "Partial Translation Verification for Untrusted Code-Generators"
  author:
  - name: "Matthew Staats"
    link: "http://www-users.cs.umn.edu/~staats/"
  - name: "Mats Per Erik Heimdahl"
    link: "http://www-users.cs.umn.edu/~heimdahl/"
  year: "2008"
  doi: "http://dx.doi.org/10.1007/978-3-540-88194-0_15"
  links:
    doi: "http://dx.doi.org/10.1007/978-3-540-88194-0_15"
  tags:
  - "translation"
  researchr: "https://researchr.org/publication/StaatsH08"
  cites: 0
  citedby: 0
  pages: "226-237"
  booktitle: "Formal Methods and Software Engineering, 10th International Conference on Formal Engineering Methods, ICFEM 2008, Kitakyushu-City, Japan, October 27-31, 2008. Proceedings"
  editor:
  - name: "Shaoying Liu"
    link: "https://researchr.org/alias/shaoying-liu"
  - name: "T. S. E. Maibaum"
    link: "https://researchr.org/alias/t.-s.-e.-maibaum"
  - name: "Keijiro Araki"
    link: "https://researchr.org/alias/keijiro-araki"
  volume: "5256"
  series: "Lecture Notes in Computer Science"
  publisher: "Springer"
  isbn: "978-3-540-88193-3"
  kind: "inproceedings"
  key: "StaatsH08"