| 2006 | ||
|---|---|---|
| 2 | Huaikou Miao, Zhicheng Wen: An Approach to Extending Object-Z with Real-Time. DELTA 2006: 345-349 | |
| 1 | Zhicheng Wen, Huaikou Miao, Hongwei Zeng: Generating Proof Obligation to Verify Object-Z Specification. ICSEA 2006: 38 | |
| 1 | Huaikou Miao | [1] [2] |
| 2 | Hongwei Zeng | [1] |