@dblp

Program Equivalence by Circular Reasoning.

, and . IFM, volume 7940 of Lecture Notes in Computer Science, page 362-377. Springer, (2013)

Links and resources

Tags