Constructive Z

DOI10.1093/LOGCOM/8.1.49zbMath0902.68121OpenAlexW4235617433MaRDI QIDQ4399513

Seyed-Hassan Mirian-Hosseinabadi, Raymond Turner

Publication date: 10 December 1998

Published in: Journal of Logic and Computation (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1093/logcom/8.1.49

zbMATH Keywords

obligation schemaZ-schema

Mathematics Subject Classification ID

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

This page was built for publication: Constructive Z