A Language-Independent Proof System for Mutual Program Equivalence.

Stefan Ciobaca, Dorel Lucanu, Vlad Rusu, Grigore Rosu

Browse the full ICFEM paper archive.