电脑体验，效果更佳

不变式图谱-计算机领域：

研究人员

王稚慧 屈延文

相关术语

谓词 脚本 需求工程 程序正确性验证 最弱前置条件 规则 程序验证 产生器

标签云