Information technology -- Z formal specification notation -- Syntax, type system and semantics
(Not available in French)
This standard was last reviewed and confirmed* in 2013.
Document published on: 2002-07 Edition: 1 (Monolingual) ICS: 35.060 Status: Published Stage: 90.93 (2013-10-30) TC/SC: ISO/IEC JTC 1/SC 22 Number of Pages: 189
This standard has not been revised