The date refinement calculator for Z specifications
- 1 February 1988
- journal article
- Published by Elsevier in Information Processing Letters
- Vol. 27 (1) , 29-33
- https://doi.org/10.1016/0020-0190(88)90078-6
Abstract
No abstract availableKeywords
This publication has 6 references indexed in Scilit:
- Data refinement by miraclesInformation Processing Letters, 1988
- Prespecification in data refinementInformation Processing Letters, 1987
- The Weakest Prespecification, Part IIFundamenta Informaticae, 1986
- The Weakest Prespecification, Part IFundamenta Informaticae, 1986
- A new notion of encapsulationACM SIGPLAN Notices, 1985
- Proof of correctness of data representationsActa Informatica, 1972