电脑体验，效果更佳

张乃孝图谱-自然科学领域：

相关人员

孙猛 裘宗燕 杨红丽 Bernhard K Aichernig

研究领域

形式化 RAISE 状态机 软件结构 CSP 规范 UML 精化

所属机构

北京大学数学科学学院 澳门联合国大学国际软件技术研究所

标签云