Z User Group

From Wikipedia, the free encyclopedia

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.

The group is chaired by Jonathan Bowen. The secretary is Mike Hinchey.

[edit] See also

• Formal methods

[edit] External links

• Z User Group
• Z User Meetings
• ZUG constitution
• Z notation