Towards More Flexible Development of Z Specifications.

Zheng Fu, Graeme Smith

Browse the full TASE paper archive.