电脑体验，效果更佳

陈立前图谱-计算机领域：

相关人员

陈火旺 王戟 刘万伟 侯苏宁

研究领域

规约 ABP BRP 值范围分析 验证 凸闭包 强接合 弱接合 模型检验 多面体抽象域 抽象域 区间分析 TLA 抽象解释 静态分析

所属机构

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

标签云