Applications and Methodology of νZ

DOI10.1007/978-1-84882-736-3_4zbMath1200.68154OpenAlexW1608114328MaRDI QIDQ3557670

Martin C. Henson

Publication date: 23 April 2010

Published in: Formal Methods: State of the Art and New Directions (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/978-1-84882-736-3_4

zbMATH Keywords

specification logicZ-like formal method

Mathematics Subject Classification ID

Logic in artificial intelligence (68T27) Specification and verification (program logics, model checking, etc.) (68Q60)

This page was built for publication: Applications and Methodology of νZ