量化程序分析与验证

演示文稿

日期
12月 22, 2022 2:00 PM — 2:30 PM
事件
北京大学-中兴通讯基础软件技术联合实验室2022年度“基础软件前沿技术探索”学术沙龙
王迪
王迪
助理教授

朝着思想自由、兼容并包的计算机科学前进！