电脑体验，效果更佳

缪淮扣图谱-自然科学领域：

相关人员

陈怡海 许庆国 童頫 刘静 刘玲 曹晓夏 唐新香 文志诚

研究领域

模型检查 软件体系结构 语法制导 模型抽取 场景规约 求精 不变式 ZSL

所属机构

上海大学计算机工程与科学学院 上海市计算机软件评测重点实验室 信阳师范学院计算机与信息技术学院

标签云