Refinement
From MaRDI portal
Publication:4558901
DOI10.1007/978-3-319-92711-4zbMath1400.68008OpenAlexW4245004478MaRDI QIDQ4558901
Publication date: 30 November 2018
Full work available at URL: https://doi.org/10.1007/978-3-319-92711-4
Semantics in the theory of computing (68Q55) Research exposition (monographs, survey articles) pertaining to computer science (68-02) Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30)
Related Items (2)
Understanding, Explaining, and Deriving Refinement ⋮ Spot the difference: a detailed comparison between B and Event-B
This page was built for publication: Refinement
