电脑体验，效果更佳

形式规范图谱-计算机领域：

研究人员

林洪 郑红军 葛琳 冯玉琳 万剑怡 华保健 吕毅 刘诚

相关术语

汇编代码验证 形式化技术 二叉判定图 形式化方法 形式验证 半形式化方法 组件JavaBeaus Hoare逻辑

标签云