电脑体验，效果更佳

形式方法图谱-自然科学领域：

研究人员

童頫 查鸣 缪淮扣 郑国梁 庞军 许庆国 李必信 王毅俊 李刚 曹晓夏 王云峰

相关术语

Z语言 类型检查 Z规格说明 语法制导 精化演算 窗口推理 OWL-S 语义网络服务 精化工具 转换规则

标签云