ISO/IEC 13568:2002/Cor 1:2007

Information technology — Z formal specification notation — Syntax, type system and semantics — Technical Corrigendum 1

Technologies de l'information — Notation Z pour la spécification formelle — Syntaxe, système de caractères et sémantique — Rectificatif technique 1