recent advances in program verification through computer algebra

Autoria(s): Yang Lu; Xia Bican; Zhan Naijun; Zhou Chaochen
Data(s)

2010
Identificador

http://ir.iscas.ac.cn/handle/311060/9780

http://www.irgrid.ac.cn/handle/1471x/143581
Idioma(s)

英语
Fonte

Yang Lu;Zhou Chaochen;Zhan Naijun;Xia Bican.recent advances in program verification through computer algebra,Frontiers of Computer Science in China,2010,4(1):40559
Palavras-Chave #Structured programming #Nonlinear systems #Algebra
Tipo

期刊论文
Acesso ao item digital