电脑体验，效果更佳

反例引导的抽象精化图谱-计算机领域：

研究人员

缪淮扣 曾红卫

相关术语

状态爆炸 构件组合 等价关系 模型检验

标签云