电脑体验，效果更佳

程序验证图谱-计算机领域：

研究人员

何锫 奥契塔 曾庆凯 李广元 陈火旺 钱家骅 王戟 肖增良

相关术语

语法分析树 Hoare逻辑 生成子 产生器 高可信软件 依赖集 数据存储 霍尔逻辑

标签云