| |
| 2001 | ||
|---|---|---|
| 2 | EE | Huaikou Miao, Ling Liu, Chuanjiang Yu, Jijun Ming, Li Li: Z User Studio: An Integrated Support Tool for Z Specifications. APSEC 2001: 437-444 |
| 2000 | ||
| 1 | EE | Huaikou Miao, Chuanjiang Yu, Li Li: A Formalized Abstract Component Object Mode - Z-COM. TOOLS (36) 2000: 250-259 |
| 1 | Li Li | [1] [2] |
| 2 | Ling Liu | [2] |
| 3 | Huaikou Miao | [1] [2] |
| 4 | Jijun Ming | [2] |