PHD in Computer Science & Engg - Solving Recurrences for Program Verification
2:00pm - 5:00pm
Room 5501 (Lifts 25-26), 5/F Academic Building, HKUST
活動形式
論文答辯
候選人
WANG, Chenglin
語言
英文