电脑体验，效果更佳

程序正确性图谱-计算机领域：

研究人员

冯玉琳 刘叙华 石生利 刘杰 余童兰

相关术语

检测 断言 程序终止性 容错计算 良序集 软件工程 自然推理系统 程序逻辑

标签云