电脑体验，效果更佳

形式化软件开发方法图谱-计算机领域：

研究人员

王云峰 李必信 郑国梁 查鸣 庞军

相关术语

程序窗口推理 数据精化 精化演算

标签云