Z User Group
GROUP TO PROMOTE THE Z NOTATION
Z User Meeting; ABZ Conference; International Conference on Abstract State Machines, Alloy, B and Z
The Z User Group (ZUG) was established in 1992 to promote use and development of the Z notation, a formal specification language for the description of and reasoning about computer-based systems. It was formally constituted on 14 December 1992 during the ZUM'92 Z User Meeting in London, England.