CAN/CSA-ISO/IEC 13568:04 (R2017)

This National Standard of Canada is equivalent to International Standard ISO/IEC 13568:2002 (first edition, 2002-07-01). 1 Scope The following are within the scope of this International Standard: - the syntax of the Z notation; - the type system of the Z notation; - the semantics of the Z notation; - a toolkit of widely used mathematical operators; - LATEX [10] and e-mail mark-ups of the Z notation. The following are outside the scope of this International Standard: - any method of using Z, though an informative annex (E) describes one widely-used convention.