Introduction to algebraic specifications based on the language ACT ONE
- 29 February 1992
- journal article
- Published by Elsevier in Computer Networks and ISDN Systems
- Vol. 23 (5) , 363-392
- https://doi.org/10.1016/0169-7552(92)90013-g
Abstract
No abstract availableKeywords
This publication has 2 references indexed in Scilit:
- Structured algebraic specifications: A Kernel languageTheoretical Computer Science, 1986
- The algebraic specification of abstract data typesActa Informatica, 1978