2006 | ||
---|---|---|
2 | EE | Huaikou Miao, Zhicheng Wen: An Approach to Extending Object-Z with Real-Time. DELTA 2006: 345-349 |
1 | EE | 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] |