An Enhanced Equivalence Checking Method to Handle Bugs in Programs with Recurrences
Author:
Dutta Sudakshina1,
Sarkar Dipankar1
Affiliation:
1. Indian Institute of Technology Kharagpur, India
Publisher
SCITEPRESS - Science and and Technology Publications