Revising \(Z\). I: Logic and semantics

DOI10.1007/S001650050038zbMath0955.68077OpenAlexW2157515101MaRDI QIDQ1974477

Steve Reeves, Martin C. Henson

Publication date: 18 February 2001

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

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

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\). I: Logic and semantics