电脑体验，效果更佳

Hoare逻辑图谱-计算机领域：

研究人员

何锫 陈意云 田波 王灿明 张昱 陶荣 江苏苏州215123 梁红瑾

相关术语

并行验证 程序验证 符号回归 指针逻辑 前（后）条件 程序设计中的逻辑 形式规范 语言设计

上位概念

软件安全

标签云