电脑体验，效果更佳

形式化规格说明图谱-计算机领域：

研究人员

杨红丽 韩俊刚 王曙燕

相关术语

形式化方法 面向对象 形式化验证

标签云