X. Yuan, D. Hu, H. Xu, Y. Li, G. Zheng,
"Complete Object-Oriented Z and Its Supporting Environment COOZ-Tools,"
Technology of Object-Oriented Languages, International Conference on, pp. 206, Technology of Object-Oriented Languages and Systems, 1998.
BibTex
x
@article{
10.1109/TOOLS.1998.713602, author = {X. Yuan and D. Hu and H. Xu and Y. Li and G. Zheng}, title = {Complete Object-Oriented Z and Its Supporting Environment COOZ-Tools}, journal ={Technology of Object-Oriented Languages, International Conference on}, volume = {0}, year = {1998}, isbn = {0-8186-9096-8}, pages = {206}, doi = {http://doi.ieeecomputersociety.org/10.1109/TOOLS.1998.713602}, publisher = {IEEE Computer Society}, address = {Los Alamitos, CA, USA}, }
RefWorks Procite/RefMan/Endnote
x
TY - CONF JO - Technology of Object-Oriented Languages, International Conference on TI - Complete Object-Oriented Z and Its Supporting Environment COOZ-Tools SN - 0-8186-9096-8 SP EP A1 - X. Yuan, A1 - D. Hu, A1 - H. Xu, A1 - Y. Li, A1 - G. Zheng, PY - 1998 VL - 0 JA - Technology of Object-Oriented Languages, International Conference on ER -
X. Yuan, D. Hu, H. Xu, Y. Li, G. Zheng, "Complete Object-Oriented Z and Its Supporting Environment COOZ-Tools," tools, pp.206, Technology of Object-Oriented Languages and Systems, 1998