Algebraic theory of parameterized specifications with requirements
- 1 January 1981
- book chapter
- Published by Springer Nature
Abstract
No abstract availableKeywords
This publication has 3 references indexed in Scilit:
- The semantics of clear, a specification languagePublished by Springer Nature ,1980
- MODLISP: An introductionPublished by Springer Nature ,1979
- Stepwise specification and implementation of abstract data typesPublished by Springer Nature ,1978