面向形式化证明的程序设计语言

演示文稿

日期
8月 9, 2024 4:30 PM — 5:00 PM
事件
第十八期 CCF 秀湖会议
王迪
王迪
助理教授

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