电脑体验，效果更佳

证明规则图谱-计算机领域：

研究人员

喻萌 宋国新 陈良 陈莘萌

相关术语

不变性 顺序进程 时态逻辑 部分正确性 基本动作 通信语句 辅助变量 通信顺序进程

标签云