Index of Resources


ISO/IEC 13568:2002(E) (The Z standard, free, 1018KB .zip of .pdf)

Index of Defect Reports

The Z user group

Jonathan Bowen's Z page

CADiZ toolset

Community Z Tools Initiative

XML DTD for Z (made obsolete by CZT's XML Schema)

BirthdayBook.xml example (use `save link as...' to prevent interpretation)

Z toolkit sections

Drafts of the Z standard

Proposals for changes to drafts of the Z standard

Minutes of meetings of the Z Standards Panel

LaTeX macros used in preparing the Z standard

Bibtex reference to ISO Z standard


Home page of the Z standards effort

Maintained by Ian Toyn
Last modified on February 12th, 2007