电脑体验，效果更佳

程序正确性证明图谱-自然科学领域：

研究人员

陆卫东 宋炜 张毓森 胡谷雨

相关术语

推论规则 管理信息库 合成规则 最小不动点 程序设计 程序段 循环终止性 推理规则

标签云