VDM and Z: A comparative case study

DOI10.1007/BF01214957zbMath0739.68059MaRDI QIDQ1184684

Ian J. Hayes

Publication date: 28 June 1992

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

zbMATH Keywords

specification languagesZVDMmodularistion

Mathematics Subject Classification ID

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

Uses Software

• Z

Cites Work

• Unnamed Item
• Unnamed Item

This page was built for publication: VDM and Z: A comparative case study