开发与证明一体化的编程范式

演示文稿

日期
9月 3, 2024 2:40 PM — 3:20 PM
事件
定理证明理论与应用研讨会
王迪
王迪
助理教授

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