电脑体验，效果更佳

肖健宇图谱-计算机领域：

相关人员

陈海诠 张德运 董皓

研究领域

方面 高可信软件工程 时态规约 建议代码 并发程序 B函数 静态程序切片 形式化方法

所属机构

湖南邵阳 陕西西安 邵阳学院 湖南涉外经济学院计算机系 邵阳学院激光与信息研究所 西安交通大学电子与信息工程学院 陕西西安710049硕士研究生

标签云