Ph.D. Defence Notice: Towards Scalable Fully Automatic Program Verification
Candidate: Hari Govind V K
Title: Towards Scalable Fully Automatic Program Verification
Date: June 10, 2024
Time: 2:00 PM
Place: EIT 3142
Supervisor(s): Gurfinkel, Arie
All are welcome!