Art der Veröffentlichung: |
Artikel |
Autor: |
E. Astesiano, M. Bidoit, B. Krieg-Brückner, H. Kirchner, P. D. Mosses, D. Sannella, A. Tarlecki |
Titel: |
CASL - the Common Algebraic Specification Language |
Band: |
286 |
Seite(n): |
153 – 196 |
Zeitschrift: |
Theoretical Computer Science |
Erscheinungsjahr: |
2002 |
Internet: |
http://www.cofi.info |
Status: |
Reviewed |
Letzte Aktualisierung: |
27. 10. 2004 |
|
|