电脑体验，效果更佳

项森图谱-计算机领域：

相关人员

李隆 陈晖 吴萍 林春晓 陈意云

研究领域

类型化语言 程序验证 Hoare逻辑 程序设计中的逻辑 携带证明的代码 形式化方法 验证编译 代码安全

所属机构

安徽合肥 中国科学技术大学计算机系 中国科学技术大学计算机科学技术系 中国科学技术大学计算机科学与技术系

标签云