Name: | Huaikou Miao |
Affiliation: | Shanghai University |
Email: | hkmiao@mail.shu.edu.cn |
Webpage: |
1 | Ling Liu and Huaikou Miao Mutation Operators for Object-Z Specification Proceedings of the 10th IEEE International Conference on Engineering of Complex Computer Systems (ICECCS'05)Shanghai, China, 16-20 June 2005. |
BibTeX | Abstract | URL | |