SHUBHANI (Entry No: 2016ANZ8046)
Share this on
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: