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.
[edit] See also
[edit] External links
 |
This computer-related article is a stub. You can help Wikipedia by expanding it. |
 |
This article about an organisation in the United Kingdom is a stub. You can help Wikipedia by expanding it. |
