INCITS/ISO/IEC 13568:2002
Information technology - Z formal specification notation - Syntax@ type system and semantics

Standard No.

INCITS/ISO/IEC 13568:2002

Release Date

2002

Published By

ANSI - American National Standards Institute

Latest

INCITS/ISO/IEC 13568:2002

INCITS/ISO/IEC 13568:2002 history

• 2002 INCITS/ISO/IEC 13568:2002 Information technology - Z formal specification notation - Syntax@ type system and semantics