Sudakshina Dutta, Dipankar Sarkar. An Enhanced Equivalence Checking Method to Handle Bugs in Programs with Recurrences. In Leszek A. Maciaszek, Joaquim Filipe, editors, ENASE 2016 - Proceedings of the 11th International Conference on Evaluation of Novel Approaches to Software Engineering, Rome, Italy 27-28 April, 2016. pages 254-259, SciTePress, 2016. [doi]
No references recorded for this publication.
No citations of this publication recorded.