电脑体验，效果更佳

部分正确性图谱-计算机领域：

研究人员

陈莘萌 陆汝占 黄小戎 孙永强 陈良

相关术语

最小不动点 程序转换 终止性 不变性 顺序进程 辅助变量 子表达式 时态逻辑

标签云