Professor Zhoujun Li of Beihang University gave an academic lecture for SUSTechers

2022-02-21

Prof. Zhoujun Li of Beihang University was invited to give an academic lecture for SUSTechers, the topic of the lecture was 安全形式化分析方法与自动验证工具.