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
语言
英文