ZB 2005: Formal Specification and Development in Z and B

DOI10.1007/B135596zbMath1118.68422OpenAlexW2916183516MaRDI QIDQ5703814

John Derrick, Eerke A. Boiten

Publication date: 10 November 2005

Published in: Lecture Notes in Computer Science (Search for Journal in Brave)

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

zbMATH Keywords

metric spacesapproximationsRefinement

Mathematics Subject Classification ID

Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30)

Related Items (1)

General Refinement, Part Two: Flexible Refinement

This page was built for publication: ZB 2005: Formal Specification and Development in Z and B