ZUM'97

10th International Conference of Z Users

Organized by the Z User Group
Sponsored by IBM United Kingdom Laboratories and Praxis Critical Systems
Supported by BCS-FACS and ESPRIT ProCoS-WG