Partial Translation Verification for Untrusted Code-Generators.

Matthew Staats, Mats Per Erik Heimdahl

Browse the full ICFEM paper archive.