Revising \(Z\). II: Logical development

DOI10.1007/S001650050039zbMath0955.68078OpenAlexW2150680956MaRDI QIDQ1974478

Steve Reeves, Martin C. Henson

Publication date: 7 May 2000

Published in: Formal Aspects of Computing (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/s001650050039

zbMATH Keywords

specification language \(Z\)specification logic

Mathematics Subject Classification ID

Semantics in the theory of computing (68Q55) Specification and verification (program logics, model checking, etc.) (68Q60)

Related Items (2)

An analysis of refinement in an abortive paradigm ⋮ Categorical foundations for structured specifications in \(\mathsf{Z}\)

This page was built for publication: Revising \(Z\). II: Logical development