QQ客服 官方微博 反馈留言

	Automatic construction of complete abstraction by abstract interpretation
	Qian, Junyan; Gu, Tianlong; Cai, Guoyong; Zhao, Lingzhong
刊名	Proceedings of the 2009 8th IEEE/ACIS International Conference on Computer and Information Science, ICIS 2009
	2009
DOI	10.1109/ICIS.2009.145
URL标识	查看原文
收录类别	EI
语种	英语
内容类型	期刊论文
URI标识	http://www.corc.org.cn/handle/1471x/3741826
专题	武汉大学
推荐引用方式 GB/T 7714	Qian, Junyan,Gu, Tianlong,Cai, Guoyong,et al. Automatic construction of complete abstraction by abstract interpretation[J]. Proceedings of the 2009 8th IEEE/ACIS International Conference on Computer and Information Science, ICIS 2009,2009.
APA	Qian, Junyan,Gu, Tianlong,Cai, Guoyong,&Zhao, Lingzhong.(2009).Automatic construction of complete abstraction by abstract interpretation.Proceedings of the 2009 8th IEEE/ACIS International Conference on Computer and Information Science, ICIS 2009.
MLA	Qian, Junyan,et al."Automatic construction of complete abstraction by abstract interpretation".Proceedings of the 2009 8th IEEE/ACIS International Conference on Computer and Information Science, ICIS 2009 (2009).

个性服务

查看访问统计

相关权益政策

暂无数据

收藏/分享

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