Institutional Repository
| recent advances in program verification through computer algebra | |
| Yang Lu; Zhou Chaochen; Zhan Naijun; Xia Bican | |
| 2010 | |
| Source | Frontiers of Computer Science in China
 |
| ISSN | 16737350 |
| Volume | 4Issue:1Pages:40559 |
| Indexed Type | ei |
| Keyword | Algebra Nonlinear Systems Structured Programming |
| Department | (1) Laboratory of Trustworthy Computing, East China Normal University, Shanghai 200062, China; (2) Laboratory of Computer Science, Institute of Software, Chinese Academy of Sciences, Beijing 100190, China; (3) LMAM and School of Mathematical Sciences, Peking University, Beijing 100871, China |
| Language | 英语 |
| WOS ID | WOS:000292503700001 |
| Citation statistics | |
| Content Type | 期刊论文 |
| URI | http://ir.iscas.ac.cn/handle/311060/9780 |
| Collection | 中国科学院软件研究所 |
| Recommended Citation GB/T 7714 | Yang Lu,Zhou Chaochen,Zhan Naijun,et al. recent advances in program verification through computer algebra[J]. Frontiers of Computer Science in China,2010,4(1):40559. |
| APA | Yang Lu,Zhou Chaochen,Zhan Naijun,&Xia Bican.(2010).recent advances in program verification through computer algebra.Frontiers of Computer Science in China,4(1),40559. |
| MLA | Yang Lu,et al."recent advances in program verification through computer algebra".Frontiers of Computer Science in China 4.1(2010):40559. |
| Files in This Item: | ||||||
| File Name/Size | DocType | Version | Access | License | ||
| recent advances in p（241KB） | 开放获取 | -- | Application Full Text | |||
Items in the repository are protected by copyright, with all rights reserved, unless otherwise indicated.
Edit Comment