Investigating Z

DOI10.1093/LOGCOM/10.1.43zbMath0949.68107OpenAlexW4239915417MaRDI QIDQ4952026

Martin C. Henson, Steve Reeves

Publication date: 5 December 2000

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

Full work available at URL: https://hdl.handle.net/10289/1470

zbMATH Keywords

specification language Z

Mathematics Subject Classification ID

Logic in computer science (03B70) Specification and verification (program logics, model checking, etc.) (68Q60) Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30)

Related Items (2)

An analysis of refinement in an abortive paradigm ⋮ The specification logic \(\nu \)Z

This page was built for publication: Investigating Z