English Z User Group Cited by user Jpbowen on 08 Jun 2022 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…