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]
Abstract is missing.