电脑体验，效果更佳

郝松侠图谱-计算机领域：

相关人员

叶新铭

研究领域

自动机理论 模型检查 消息序列表 形式化验证

所属机构

内蒙古呼和浩特 中国科学院软件中心 内蒙古大学计算机学院

标签云