1990
Deriving incremental implementations from algebraic specifications
Publication
Publication
Additional Metadata | |
---|---|
CWI | |
Department of Computer Science [CS] ; CS-R 9072 | |
van der Meulen, E. (1990). Deriving incremental implementations from algebraic specifications. Department of Computer Science [CS]. CWI. |