电脑体验，效果更佳

汇编代码验证图谱-计算机领域：

研究人员

李兆鹏 华保健 刘诚 陈意云 葛琳

相关术语

形式规范 出具证明编译器 前（后）条件 Hoare逻辑

标签云