Name: PhD in Computer Science & Engg - "VIAP - An Automated System for Verifying Integer Assignment Programs with Loops
Start: 2019-08-19
End: 2019-08-19

PhD in Computer Science & Engg - "VIAP - An Automated System for Verifying Integer Assignment Programs with Loops

19 August 2019

9:00am - 12:00pm

Room 3494 (lifts 25-26), 3/F Academic Building, HKUST

Event Format

Thesis Defense

Candidate

RAJKHOWA, Pritom

Language

English