How firing conditions help inheritance
- 1 January 1995
- book chapter
- Published by Springer Nature
Abstract
No abstract availableKeywords
This publication has 5 references indexed in Scilit:
- The B-BookPublished by Cambridge University Press (CUP) ,1996
- Testing as abstractionPublished by Springer Nature ,1995
- A behavioral notion of subtypingACM Transactions on Programming Languages and Systems, 1994
- Types and Invariants in the Refinement CalculusPublished by Springer Nature ,1992
- Object Orientation in ZPublished by Springer Nature ,1992