SHUBHANI (Entry No: 2016ANZ8046)
Share this on
![PhD Seminar: SHUBHANI](https://home.iitd.ac.in/public/storage/viva_images/SH_1676368180.jpg)
Counterexample-Guided Equivalence Checking
Amar Nath and Shashi Khosla School of Information Technology
February 20, 2023
11:00 am
SIT 001
Internal Supervisors: Sorav Bansal
Internal Supervisor 2:
External Supervisor:
Internal Supervisor 2:
External Supervisor: