Using Artificial Intelligence (AI) on standards and related intellectual property is strongly prohibited. In the event of a violation, your access to the standards will be revoked.
Main page>IEC Standards>ISO/IEC 13568:2002/COR1:2007 - Information technology - Z formal specification notation - Syntax, type system and semantics - Technical Corrigendum 1
immediate downloadReleased: 2007-07-11
ISO/IEC 13568:2002/COR1:2007
Information technology - Z formal specification notation - Syntax, type system and semantics - Technical Corrigendum 1