ISCAS OpenIR
recent advances in program verification through computer algebra
Yang Lu; Zhou Chaochen; Zhan Naijun; Xia Bican
2010
发表期刊Frontiers of Computer Science in China
ISSN16737350
卷号4期号:1页码:40559
收录类别ei
关键词Algebra Nonlinear Systems Structured Programming
部门归属(1) Laboratory of Trustworthy Computing, East China Normal University, Shanghai 200062, China; (2) Laboratory of Computer Science, Institute of Software, Chinese Academy of Sciences, Beijing 100190, China; (3) LMAM and School of Mathematical Sciences, Peking University, Beijing 100871, China
语种英语
WOS记录号WOS:000292503700001
引用统计
被引频次:26[WOS]   [WOS记录]     [WOS相关记录]
内容类型期刊论文
URI标识http://ir.iscas.ac.cn/handle/311060/9780
专题中国科学院软件研究所
推荐引用方式
GB/T 7714
Yang Lu,Zhou Chaochen,Zhan Naijun,et al. recent advances in program verification through computer algebra[J]. Frontiers of Computer Science in China,2010,4(1):40559.
APA Yang Lu,Zhou Chaochen,Zhan Naijun,&Xia Bican.(2010).recent advances in program verification through computer algebra.Frontiers of Computer Science in China,4(1),40559.
MLA Yang Lu,et al."recent advances in program verification through computer algebra".Frontiers of Computer Science in China 4.1(2010):40559.
条目包含的文件
文件名称/大小 文献类型 版本类型 开放类型 使用许可
recent advances in p(241KB) 开放获取--请求全文
个性服务
推荐该条目
保存到收藏夹
查看访问统计
导出为Endnote文件
谷歌学术
谷歌学术中相似的文章
[Yang Lu]的文章
[Zhou Chaochen]的文章
[Zhan Naijun]的文章
百度学术
百度学术中相似的文章
[Yang Lu]的文章
[Zhou Chaochen]的文章
[Zhan Naijun]的文章
必应学术
必应学术中相似的文章
[Yang Lu]的文章
[Zhou Chaochen]的文章
[Zhan Naijun]的文章
相关权益政策
暂无数据
收藏/分享
所有评论 (0)
暂无评论
 

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