The standard logic of \(Z\) is inconsistent

DOI10.1007/S001650050014zbMath0934.68061OpenAlexW1997538129MaRDI QIDQ1293887

Martin C. Henson

Publication date: 29 June 1999

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

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

zbMATH Keywords

specification language \(Z\)

Mathematics Subject Classification ID

Specification and verification (program logics, model checking, etc.) (68Q60)

This page was built for publication: The standard logic of \(Z\) is inconsistent