电脑体验，效果更佳

携带证明的汇编程序图谱-计算机领域：

研究人员

李兆鹏 陈意云 田波 华保健 葛琳 王伟

相关术语

出具证明编译器 Hoare逻辑 指针逻辑 软件安全

标签云