Department of Computer Science and Engineering Online Seminar - "Continuous Reasoning of Large Complex Software via Incremental Analysis"
10:00am - 11:00am
Speaker: Bozhen LIU
Texas A&M University
Zoom link:
https://hkust.zoom.us/j/928308079?pwd=MW9wTCtlSDd2MnViZGdNd2oreUpXZz09
活动形式
语言
英文
适合对象
校友
教职员
研究生
主办单位
计算器科学及工程学系
联系方法
Tel: 2358 7008