| |
| 2007 | ||
|---|---|---|
| 3 | EE | Xin Liu, Ming Zha, Tingjie Lu, Wei Fan: A Research on Construction of SOAs for Enterprises in China. CONFENIS (2) 2007: 1047-1056 |
| 2001 | ||
| 2 | EE | Yunfeng Wang, Jun Pang, Ming Zha, Zhaohui Yang, Guoliang Zheng: A Formal Software Development Approach Using Refinement Calculus. J. Comput. Sci. Technol. 16(3): 251-262 (2001) |
| 1999 | ||
| 1 | EE | Yunfeng Wang, Bixin Li, Jun Pang, Ming Zha, Guoliang Zheng: A Formal Software Development Approach Based on COOZ and Refinement Calculus. TOOLS (31) 1999: 261-266 |
| 1 | Wei Fan | [3] |
| 2 | Bixin Li | [1] |
| 3 | Xin Liu | [3] |
| 4 | Tingjie Lu | [3] |
| 5 | Jun Pang | [1] [2] |
| 6 | Yunfeng Wang | [1] [2] |
| 7 | Zhaohui Yang | [2] |
| 8 | Guoliang Zheng | [1] [2] |