Open source tools for software engineering teams using AI

← Bibliography

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

standard 2002 Source: z-spec

Note

The international standard for Z notation.

Details

Organization: International Organization for Standardization

Citation Key

iso13568