Open source tools for software engineering teams using AI
← Bibliography

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

standard2002Source: z-spec

Note

The international standard for Z notation.

Details

Organization
International Organization for Standardization

Citation Key

iso13568