电脑体验，效果更佳

李兆鹏图谱-计算机领域：

相关人员

王志芳 王伟 张昱 刘诚 葛琳 华保健 陈意云 郭宇

研究领域

汇编代码验证 类型系统 携带证明的汇编程序 出具证明的编译器 前（后）条件 类型检查 出具证明编译器 汇编语言

所属机构

安徽合肥 中国科学技术大学软件学院 中国科学技术大学计算机科学技术系 中国科学技术大学计算机科学与技术系 中国科学技术大学计算机科学与技术学院 中国科学技术大学苏州研究院软件安全实验室

标签云