电脑体验，效果更佳

林春晓图谱-计算机领域：

相关人员

李隆 项森 陈意云

研究领域

垃圾收集 形式化方法 携带证明的代码 程序设计中的逻辑 程序验证 高可信软件 Hoare逻辑 软件安全

所属机构

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

标签云