Run-time consistency checking of algebraic specifications
- 1 October 1991
- conference paper
- Published by Association for Computing Machinery (ACM)
- p. 123-129
- https://doi.org/10.1145/120807.120818
Abstract
No abstract availableThis publication has 3 references indexed in Scilit:
- ANNA A Language for Annotating Ada ProgramsPublished by Springer Nature ,1987
- Data Abstraction, Implementation, Specification, and TestingACM Transactions on Programming Languages and Systems, 1981
- The algebraic specification of abstract data typesActa Informatica, 1978