PhD Seminar

SHUBHANI (Entry No: 2016ANZ8046)

Share this on

PhD Seminar: SHUBHANI

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: