|
|||||
|
|
| 分离逻辑的技术基础与研究现状 | |
| 引用本文： | 王捍贫,张博闻.分离逻辑的技术基础与研究现状[J].广州大学学报(自然科学版),2019,18(4). |
| 作者姓名： | 王捍贫 张博闻 |
| 作者单位： | 广州大学 计算机科学与网络工程学院,广东 广州 510006;北京大学 信息科学技术学院软件研究所,北京 100871;北京大学 高可信软件技术教育部重点实验室,北京 100871;北京大学 信息科学技术学院软件研究所,北京 100871;北京大学 高可信软件技术教育部重点实验室,北京 100871 |
| 摘 要： | |
| 关 键 词： | 分离逻辑 形式化方法 双向诱导推理 程序验证 |
| 本文献已被 万方数据 等数据库收录！ | |