e/Z User Group

Information
has gloss	eng: The Z User Group exists 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.
lexicalization	eng: Z User Group
instance of	c/Computer science organizations