电脑体验，效果更佳

类型检查图谱-自然科学领域：

研究人员

童頫 顾永立 李刚 缪淮扣 谢步罡 顾训穰

相关术语

形式方法 Z语言 语法制导 归约 重命名 定理证明

标签云