@dblp

Verification of Source Code Transformations by Program Equivalence Checking.

, , , and . CC, volume 3443 of Lecture Notes in Computer Science, page 221-236. Springer, (2005)

Links and resources

Tags