KMS

Browse/Search Results:  1-1 of 1 Help

Filters    
Selected(0)Clear Items/Page:    Sort:
2017-2018中国计算机科学技术发展报告: 形式化方法的研究进展与趋势 科技报告
报告类型: 进展报告, , 2018
Authors:  卜磊;  陈立前;  陈哲;  陈振邦;  冯新宇;  冯元;  贺飞;  李国强;  刘万伟;  马菲菲;  宋富;  田聪;  王淑灵;  吴志林;  薛白;  杨鹏飞;  尹良泽;  詹博华;  张民;  张立军;  张兴元;  赵永望
Adobe PDF(6534Kb)  |  Favorite  |  View/Download:1278/5  |  Submit date:2018/12/24