电脑体验，效果更佳

江苏苏州215123图谱-计算机领域：

相关人员

华保健 陈意云 王志芳 李兆鹏 葛琳

研究领域

类型系统 Hoare逻辑 语言设计 软件安全 指针逻辑

所属机构

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

标签云