Xiaodong Yuan, Deqiang Hu, Hao Xu, Yong Li, G. Zheng. Complete Object-Oriented Z and Its Supporting Environment COOZ-Tools. In TOOLS 1998: 27th International Conference on Technology of Object-Oriented Languages and Systems, 22-25 September 1998, Beijing, China. pages 206-213, IEEE Computer Society, 1998. [doi]
@inproceedings{YuanHXLZ98,
title = {Complete Object-Oriented Z and Its Supporting Environment COOZ-Tools},
author = {Xiaodong Yuan and Deqiang Hu and Hao Xu and Yong Li and G. Zheng},
year = {1998},
doi = {10.1109/TOOLS.1998.713602},
url = {http://doi.ieeecomputersociety.org/10.1109/TOOLS.1998.713602},
tags = {completeness, meta-model, Meta-Environment, meta-objects},
researchr = {https://researchr.org/publication/YuanHXLZ98},
cites = {0},
citedby = {0},
pages = {206-213},
booktitle = {TOOLS 1998: 27th International Conference on Technology of Object-Oriented Languages and Systems, 22-25 September 1998, Beijing, China},
publisher = {IEEE Computer Society},
isbn = {0-8186-9096-8},
}