电脑体验，效果更佳

唐卓椿图谱-计算机领域：

相关人员

孔德光 吴刚 帅建梅

研究领域

线性时序逻辑 静态分析 软件脆弱性 有界模型检查 反汇编

所属机构

中国科学技术大学信息科学技术学院自动化系

标签云