7 citations · 18 across the 17 of their papers we have counts for
1 paper · 1 filter
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…