概率程序的代数程序分析

演示文稿

日期
6月 30, 2023 3:15 PM — 3:40 PM
事件
CCF形式化方法专委会战略研讨暨2023年第1期前瞻科技智库论坛——形式验证：基础工具与前沿挑战
王迪
王迪
助理教授

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