电脑体验，效果更佳

指针逻辑图谱-计算机领域：

研究人员

田波 程亮 王伟 葛琳 梁红瑾 张阳 江苏苏州215123 王志芳

相关术语

类型系统 指针程序 操作系统安全 出具证明的编译器 Hoare逻辑 形式化验证 出具证明编译器 代码分析

上位概念

软件安全

正在加载...