Adding specification constructors to the refinement calculus
- 9 June 2005
- book chapter
- Published by Springer Nature
- p. 652-670
- https://doi.org/10.1007/bfb0024672
Abstract
No abstract availableKeywords
This publication has 3 references indexed in Scilit:
- Z and the refinement calculusPublished by Springer Nature ,1990
- A theoretical basis for stepwise refinement and the programming calculusScience of Computer Programming, 1987
- Specification statements and refinementIBM Journal of Research and Development, 1987