Mechanizing Proofs of Computation Equivalence.

Marcelo Glusman, Shmuel Katz

Browse the full CAV paper archive.