IDR - IIT Kharagpur

Application of Equivalence Checking for Evaluation of Students’ Programming Assignments

Application of Equivalence Checking for Evaluation of Students’ Programming Assignments

 

Author: Kaushal Kishore Sharma
Supervisor: Prof. Chittaranjan Mandal
Department of Computer Science and Engineering
Indian Institute of Technology Kharagpur, India
February, 2019

Recent Submissions