Mechanizing Proofs of Computation Equivalence

Computer Aided Verification - Lecture Notes in Computer Science ◽

10.1007/3-540-48683-6_31 ◽

1999 ◽

pp. 354-367 ◽

Author(s):

Marcelo Glusman ◽

Shmuel Katz

Download Full-text