OOZE: An Object Oriented Z Environment
- 14 June 2006
- conference paper
- Published by Springer Nature
- p. 180-199
- https://doi.org/10.1007/bfb0057022
Abstract
No abstract availableKeywords
This publication has 8 references indexed in Scilit:
- Types as theoriesPublished by Oxford University Press (OUP) ,1991
- Modular extensions to ZPublished by Springer Nature ,1990
- Object-Oriented Process SpecificationPublished by Springer Nature ,1990
- Structuring for the VDM specification languagePublished by Springer Nature ,1988
- Parameterized ProgrammingIEEE Transactions on Software Engineering, 1984
- Equations and Rewrite Rules: A SurveyPublished by Elsevier ,1980
- How to prove algebraic inductive hypotheses without inductionPublished by Springer Nature ,1980
- The semantics of clear, a specification languagePublished by Springer Nature ,1980