Algebraic implementation of abstract data types: A survey of concepts and new compositionality results
- Orejas, F.
- Navarro, M.
- Sánchez, A.
ISSN: 0960-1295
Datum der Publikation: 1996
Ausgabe: 6
Nummer: 1
Seiten: 33-67
Art: Artikel
ISSN: 0960-1295
Datum der Publikation: 1996
Ausgabe: 6
Nummer: 1
Seiten: 33-67
Art: Artikel