The specification logic \(\nu \)Z

DOI10.1007/S00165-006-0007-2zbMath1105.68073OpenAlexW2026470291MaRDI QIDQ851135

Moshe Deutsch, Martin C. Henson, Besnik Kajtazi

Publication date: 17 November 2006

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

Full work available at URL: https://doi.org/10.1007/s00165-006-0007-2

Mathematics Subject Classification ID

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

Cites Work

• Unnamed Item
• Unnamed Item
• Refinement Calculus
• Data Refinement
• Investigating Z

This page was built for publication: The specification logic \(\nu \)Z