Z User Studio: An Integrated Support Tool for Z Specifications.

Huaikou Miao, Ling Liu, Chuanjiang Yu, Jijun Ming, Li Li

Browse the full APSEC paper archive.