电脑体验，效果更佳

证明义务图谱-计算机领域：

研究人员

覃征 樊艳芬 吴帅 杨丹 高洪江 杨庆红 鹿蕾 邵利平

相关术语

抽象机 广义代换 精化 形式化方法 反向精化 B方法 规格说明 前向精化

标签云