ShanghaiTech University Knowledge Management System
2017-2018中国计算机科学技术发展报告: 形式化方法的研究进展与趋势 | |
卜磊1; 陈立前2; 陈哲3; 陈振邦2; 冯新宇1; 冯元4; 贺飞5; 李国强6; 刘万伟2; 马菲菲7 | |
2018 | |
报告类型 | 进展报告 |
语种 | 中文 |
文献类型 | 科技报告 |
条目标识符 | https://kms.shanghaitech.edu.cn/handle/2MSLDSTB/29719 |
专题 | 信息科学与技术学院_PI研究组_宋富组 |
作者单位 | 1.南京大学 2.国防科技大学 3.南京航空航天大学 4.悉尼科技大学 5.清华大学 6.上海交通大学 7.中国科学院软件研究所 8.上海科技大学 9.西安电子科技大学 10.慕尼黑工业大学 |
推荐引用方式 GB/T 7714 | 卜磊,陈立前,陈哲,等. 2017-2018中国计算机科学技术发展报告: 形式化方法的研究进展与趋势,2018. |
条目包含的文件 | ||||||
文件名称/大小 | 文献类型 | 版本类型 | 开放类型 | 使用许可 |
个性服务 |
查看访问统计 |
谷歌学术 |
谷歌学术中相似的文章 |
[卜磊]的文章 |
[陈立前]的文章 |
[陈哲]的文章 |
百度学术 |
百度学术中相似的文章 |
[卜磊]的文章 |
[陈立前]的文章 |
[陈哲]的文章 |
必应学术 |
必应学术中相似的文章 |
[卜磊]的文章 |
[陈立前]的文章 |
[陈哲]的文章 |
相关权益政策 |
暂无数据 |
收藏/分享 |
修改评论
除非特别说明,本系统中所有内容都受版权保护,并保留所有权利。