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

2019 年 8 月 19 日

9:00am - 12:00pm

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

活动形式

论文答辩

候选人

RAJKHOWA, Pritom

语言

英文

English