电脑体验，效果更佳

高昕图谱-计算机领域：

相关人员

袁崇义 黄雨 赵文 胡文蕙 王捍贫

研究领域

O-表达式 WSCI 进展性 安全性 不变性 Web服务组合 独立O-表达式 Petri Nets

所属机构

北京大学信息科学技术学院 教育部高可信软件技术重点实验室 北京大学软件工程国家工程研究中心 北京大学教育部高可信软件技术重点实验室

标签云