Specification by interface separation

DOI10.1007/BF01211217zbMath0835.68077OpenAlexW2086359275MaRDI QIDQ1903078

Ian J. Hayes, Jeff W. Sanders

Publication date: 5 December 1995

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

Full work available at URL: https://doi.org/10.1007/bf01211217

zbMATH Keywords

formal specificationspecification language \(Z\)

Mathematics Subject Classification ID

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

Related Items (1)

Property transformation under specification change

Uses Software

• Z

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item

This page was built for publication: Specification by interface separation