电脑体验，效果更佳

出具证明的编译器图谱-计算机领域：

研究人员

李兆鹏 陈意云 王志芳 华保健

相关术语

指针逻辑 软件安全 携带证明的代码 Hoare逻辑

标签云