Program Equivalence and Provability.

Guy Cousineau, Patrice Enjalbert

Browse the full MFCS paper archive.