EZ: A System for Automatic Prototyping of Z Specifications.

Veronika Doma, Robin A. Nicholl

Browse the full FM paper archive.