概率程序的代数程序分析 [Ver 1]

演示文稿

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

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