电脑体验，效果更佳

左继红图谱-计算机领域：

相关人员

王千祥 梅宏

研究领域

非单调性 形式化方法 Java 模型检测 特征交互 约束 模型 模式匹配

所属机构

北京大学信息科学技术学院软件研究所

标签云