Institutional Repository
| a precongruence format for should testing preorder | |
| Xiaowei Huang; Jiao Li; Weiming Lu | |
| 2010 | |
| Source | Journal of Logic and Algebraic Programming
 |
| Volume | In Press, Accepted ManuscriptPages:- |
| Indexed Type | sciencedirect |
| Department | 计算机科学国家重点实验室 |
| WOS ID | WOS:000278289300003 |
| Citation statistics | |
| Content Type | 期刊论文 |
| URI | http://ir.iscas.ac.cn/handle/311060/4622 |
| Collection | 基础软件与系统重点实验室 |
| Recommended Citation GB/T 7714 | Xiaowei Huang,Jiao Li,Weiming Lu. a precongruence format for should testing preorder[J]. Journal of Logic and Algebraic Programming,2010,In Press, Accepted Manuscript:-. |
| APA | Xiaowei Huang,Jiao Li,&Weiming Lu.(2010).a precongruence format for should testing preorder.Journal of Logic and Algebraic Programming,In Press, Accepted Manuscript,-. |
| MLA | Xiaowei Huang,et al."a precongruence format for should testing preorder".Journal of Logic and Algebraic Programming In Press, Accepted Manuscript(2010):-. |
| Files in This Item: | ||||||
| File Name/Size | DocType | Version | Access | License | ||
| 1.pdf（385KB） | 开放获取 | -- | Application Full Text | |||
Items in the repository are protected by copyright, with all rights reserved, unless otherwise indicated.
Edit Comment