The Z Notation

Spivey, J. M. (1992). The Z Notation: A Reference Manual. Prentice Hall.

Type

Book

Intellectual base

Textbook

Year

1992

Link

https://spivey.oriel.ox.ac.uk/mike/zrm/

Cited by

1 citation across 1 artifact.

Domain-specific

• Specification language
  • Specification language is a formal language used to state what a system must do at a higher level than executable implementation code.

Verification

This reference passed the adversarial substantiation pipeline: it was checked to exist and to support the claim it is attached to. See how references were verified.

Registry ID ref:f094d4bcc7a5 · see in the full table