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.
条目包含的文件
文件名称/大小 文献类型 版本类型 开放类型 使用许可
个性服务
查看访问统计
谷歌学术
谷歌学术中相似的文章
[卜磊]的文章
[陈立前]的文章
[陈哲]的文章
百度学术
百度学术中相似的文章
[卜磊]的文章
[陈立前]的文章
[陈哲]的文章
必应学术
必应学术中相似的文章
[卜磊]的文章
[陈立前]的文章
[陈哲]的文章
相关权益政策
暂无数据
收藏/分享
文件名: 2017-2018中国计算机科学技术发展报告-ch1.pdf
格式: Adobe PDF
此文件暂不支持浏览
所有评论 (0)
暂无评论
 

除非特别说明,本系统中所有内容都受版权保护,并保留所有权利。