电脑体验，效果更佳

陈怡海图谱-计算机领域：

相关人员

缪淮扣 高如海 郭慧梅

研究领域

形式化方法 UML 形式方法 逻辑系统 Z规格说明语言 Object-Z 形式化 功能需求 RSL 定理证明器

所属机构

上海大学计算机工程与科学学院

标签云