17 citations · 19 across the 6 of their papers we have counts for
1 paper · 2 filters
Ramana Nagasamudram, Anindya Banerjee, David A. Naumann
Verifying relations between programs arises as a task in various verification contexts such as optimizing transformations, relating new versions of programs with older versions (re…