电脑体验，效果更佳

基于断言的验证图谱-计算机领域：

研究人员

虞蕾 赵宗涛

相关术语

形式化验证 属性规约语言 运行时验证

标签云