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 - some mark-ups of the Z notation The following are outside the scope of this International Standard: - any method of using Z, through an informative annex (E) describes one widely-used convention.
DS/ISO/IEC 13568/Corr. 1:2008 history
2008DS/ISO/IEC 13568/Corr. 1:2008 Information technology - Z formal specification notation - Syntax, type system and semantics
2003DS/ISO/IEC 13568:2003 Information technology - Z formal specification notation - Syntax, type system and semantics