Refinement in Object-Oriented Specification Languages
- 1 January 1994
- book chapter
- Published by Springer Nature
Abstract
No abstract availableKeywords
This publication has 4 references indexed in Scilit:
- Developing an environment for computer-based automotive suspension and steering systemsPublished by Springer Nature ,1993
- Introducing Hyper-Z — a New Approach to Object Orientation in ZPublished by Springer Nature ,1993
- Formal specification and implementationPublished by Springer Nature ,1989
- High-Integrity SoftwarePublished by Springer Nature ,1989