电脑体验，效果更佳

易晓东图谱-计算机领域：

相关人员

王戟 所光 杨学军 廖湘科

研究领域

程序近似语义 Assume-Guarantee搜索重用 变量抽象 JournalFS 部分最强后置条件 JBD 日志服务

所属机构

湖南长沙 国防科技大学计算机学院 国防科学技术大学计算机学院 湖南长沙410073并行与分布处理国防科...

标签云