###
Journal of Software:2020.31(5):1241-1242

系统软件构造与验证技术专题前言
赵永望,刘杨,王戟
(北京航天航空大学 计算机学院, 北京 100191;School of Computer Science and Engineering, Nanyang Technological University, Singapore 639798, Singapore;国防科技大学 计算机学院, 湖南 长沙 410073;高性能计算国家重点实验室(国防科技大学), 湖南 长沙 410073)
()
Abstract
Chart / table
Reference
Similar Articles
Article :Browse 213   Download 67
Received:March 27, 2020    
> 中文摘要:
中文关键词:
Abstract:
keywords:
文章编号:     中图分类号:    文献标志码:
基金项目:
Foundation items:
Reference text:

赵永望,刘杨,王戟.系统软件构造与验证技术专题前言.软件学报,2020,31(5):1241-1242

..Journal of Software,2020,31(5):1241-1242