program verification through computer algebra

	program verification through computer algebra
	Zhou Chaochen
	2006
会议名称	8th International Conference on Formal Engineering Methods (ICFEM 2006)
页码	1-1
会议日期	NOV 01-03,
会议地点	Macao, PEOPLES R CHINA
出版地	HEIDELBERGER PLATZ 3, D-14197 BERLIN, GERMANY
出版者	Formal Methods and Software Engineering, Proceedings
ISSN	0302-9743
ISBN	3-540-47460-9
部门归属	Chinese Acad Sci, Inst Software, Comp Sci Lab, Beijing 100080, Peoples R China.
主办者	United Nat Univ, Int Inst Software Technol, Univ Macau, Macai Polytech Inst
内容类型	会议论文
URI标识	http://ir.iscas.ac.cn/handle/311060/12234
专题	基础软件与系统重点实验室
推荐引用方式 GB/T 7714	Zhou Chaochen. program verification through computer algebra[C]. HEIDELBERGER PLATZ 3, D-14197 BERLIN, GERMANY:Formal Methods and Software Engineering, Proceedings,2006:1-1.