Jonathan P. Bowen, Michael G. Hinchey, eds. ZUM '95: The Z Formal Specification Notation: 9th International Conference of Z Users, Limerick.
Springer. 1995
Jonathan P. Bowen, Michael G. Hinchey, David Till, eds. ZUM '97: The Z Formal Specification Notation: 10th International Conference of Z Users, Reading.
Springer. 1997
Jonathan P. Bowen, Andreas Fett, Michael G. Hinchey, eds. ZUM '98: The Z Formal Specification Notation: 11th International Conference of Z Users, Berlin.
Springer. 1998
(read but not reviewed)
Contents
Klaus Grimm. Industrial Requirements for the Efficient Development of Reliable Embedded Systems. 1998
Clemens Fischer. How to Combine Z with a Process Algebra. 1998
Bill Stoddart. The Specification and Refinement of an Environmental Model. 1998