2017-2018中国计算机科学技术发展报告: 形式化方法的研究进展与趋势
卜磊1; 陈立前2; 陈哲3; 陈振邦2; 冯新宇1; 冯元4; 贺飞5; 李国强6; 刘万伟2; 马菲菲7; 宋富8; 田聪9; 王淑灵7; 吴志林7; 薛白7; 杨鹏飞7; 尹良泽2; 詹博华10; 张民11; 张立军7; 张兴元12; 赵永望13
2018
Subtype进展报告
Language中文
Document Type科技报告
Identifierhttp://kms.shanghaitech.edu.cn/handle/2MSLDSTB/29719
Collection信息科学与技术学院_PI研究组_宋富组
Affiliation1.南京大学
2.国防科技大学
3.南京航空航天大学
4.悉尼科技大学
5.清华大学
6.上海交通大学
7.中国科学院软件研究所
8.上海科技大学
9.西安电子科技大学
10.慕尼黑工业大学
11.华东师范大学
12.中国人民解放军陆军工程大学
13.北京航空航天大学
Recommended Citation
GB/T 7714
卜磊,陈立前,陈哲,等. 2017-2018中国计算机科学技术发展报告: 形式化方法的研究进展与趋势,2018.
Files in This Item:
File Name/Size DocType Version Access License
2017-2018中国计算机科学技术发展(6534KB)科技报告 限制开放CC BY-NC-SAView Application Full Text
Related Services
Usage statistics
Scholar Google
Similar articles in Scholar Google
[卜磊]'s Articles
[陈立前]'s Articles
[陈哲]'s Articles
Baidu academic
Similar articles in Baidu academic
[卜磊]'s Articles
[陈立前]'s Articles
[陈哲]'s Articles
Bing Scholar
Similar articles in Bing Scholar
[卜磊]'s Articles
[陈立前]'s Articles
[陈哲]'s Articles
Terms of Use
No data!
Social Bookmark/Share
File name: 2017-2018中国计算机科学技术发展报告-ch1.pdf
Format: Adobe PDF
All comments (0)
No comment.
 

Items in the repository are protected by copyright, with all rights reserved, unless otherwise indicated.