Standards
[CURRENT]
ISO/IEC 13568 Technical Corrigendum 1
ISO/IEC 13568 Technical Corrigendum 1
Information technology - Z formal specification notation - Syntax, type system and semantics; Technical Corridendum 1
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