a precongruence format for should testing preorder

Autoria(s): Xiaowei Huang; Jiao Li; Weiming Lu
Data(s)

2010
Identificador

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

http://www.irgrid.ac.cn/handle/1471x/66954
Fonte

Xiaowei Huang; Jiao Li; Weiming Lu.a precongruence format for should testing preorder,Journal of Logic and Algebraic Programming,2010,In Press, Accepted Manuscript():-
Tipo

期刊论文
Acesso ao item digital