ISCAS OpenIR  > 基础软件与系统重点实验室
基于Verds的C语言子集模型检测方法研究
张兰兰
Major计算机科学与技术
Supervisor张文辉
2013-05
Degree Grantor中国科学院研究生院
Degree Level硕士
Place of Degree Grantor北京
Content Type学位论文
URIhttp://ir.iscas.ac.cn/handle/311060/14899
Collection基础软件与系统重点实验室
Recommended Citation
GB/T 7714
张兰兰. 基于Verds的C语言子集模型检测方法研究[D]. 北京. 中国科学院研究生院,2013.
Files in This Item:
File Name/Size DocType Version Access License
基于Verds的C语言子集模型检测方法研(1937KB) 开放获取LicenseApplication Full Text
Related Services
Recommend this item
Bookmark
Usage statistics
Export to Endnote
Google Scholar
Similar articles in Google Scholar
[张兰兰]'s Articles
Baidu academic
Similar articles in Baidu academic
[张兰兰]'s Articles
Bing Scholar
Similar articles in Bing Scholar
[张兰兰]'s Articles
Terms of Use
No data!
Social Bookmark/Share
All comments (0)
No comment.
 

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