2 citations · 5 across the 5 of their papers we have counts for
1 paper · 2 filters
Qi Zhou, David Heath, William Harris
Verifying partial (i.e., termination-insensitive) equivalence of programs has significant practical applications in software development and education. Conventional equivalence ver…