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