The Z Notation

The World Wide Web Virtual Library entry for the Z formal specification language, providing links to resources around the world.

Z User Group: ZUG

Promotes use and development of Z formal specification language. History, activities, constitution, committee members, officers, large archive, tools, ...

ZUM: International Conference of Z Users

The Z User Group organizes the International Conference of Z Users series, previously known as the Z User Meeting (ZUM). ...

ÿþ< html > < head > < title > ZUM 2 0 0 6 : Call for Papers ...

ÿþ< html > < head > < title > ZUM 2 0 0 6 : Call for Papers < / title > < meta http - equiv = Content - Type content = " text / html ; charset = unicode ...

Z User Group

Z User Group. Now accessible as http://www.zuser.org/. The Z User Group was formally constituted on Monday 14th December 1992 during ZUM'92 and exists to ...

11th International Conference of Z Users - ZUM'98

11th International Conference of Z Users. ZUM'98. 24-26 September 1998 Berlin, Germany. URL: http://www.zuser.org/zum98/ ...

9th Z User Meeting - ZUM'95

You may order the proceedings on-line. See (New) report on the meeting by Margaret West (Univ. of Leeds, UK). See also Call for Participation, booking form, ...

Formal Specification and Documentation using Z

By Prof. Jonathan Bowen · Centre for Applied Formal Methods, London South Bank University. International Thomson Computer Press (ITCP) Thomson Publishing ...

Z User Group

Z User Group (ZUG). The Z User Group was formally constituted on Monday 14th December 1992 during ZUM'92 and exists to promote use and development of the Z ...

Z User Group

Z User Group (ZUG). Last conference: ZB2005, University of Surrey, Guildford, United Kingdom, 13-15 April 2005. The Z User Group exists to promote use and ...