Huaikou Miao, Ling Liu, Chuanjiang Yu, Jijun Ming, Li Li. Z User Studio: An Integrated Support Tool for Z Specifications. In 8th Asia-Pacific Software Engineering Conference (APSEC 2001), 4-7 December 2001, Macau, China. pages 437-444, IEEE Computer Society, 2001. [doi]
@inproceedings{MiaoLYML01,
title = {Z User Studio: An Integrated Support Tool for Z Specifications},
author = {Huaikou Miao and Ling Liu and Chuanjiang Yu and Jijun Ming and Li Li},
year = {2001},
url = {http://csdl.computer.org/comp/proceedings/apsec/2001/1408/00/14080437abs.htm},
researchr = {https://researchr.org/publication/MiaoLYML01},
cites = {0},
citedby = {0},
pages = {437-444},
booktitle = {8th Asia-Pacific Software Engineering Conference (APSEC 2001), 4-7 December 2001, Macau, China},
publisher = {IEEE Computer Society},
isbn = {0-7695-1408-1},
}