Standards
[CURRENT]
ISO/IEC 13568
ISO/IEC 13568
Information technology - Z formal specification notation - Syntax, type system and semantics
Title (German)
Informationstechnik - Z-Notation; Formelle Beschreibung - Syntax, Typsystem und Semantik
Responsible national committee
NA 043-01-22 AA - Programming languages
Responsible international committee
ISO/IEC JTC 1/SC 22 - Programming languages, their environments and system software interfaces