Art der Veröffentlichung: |
Artikel in Sammlung |
Autor: |
B. Krieg-Brückner, J. Liu, H. Shi, B. Wolff |
Titel: |
Towards Correct, Efficient and Reusable Transformational Developments |
Buch / Sammlungs-Titel: |
KORSO |
Serie / Reihe: |
Lecture Notes in Computer Science |
Erscheinungsjahr: |
1995 |
Verleger: |
Springer-Verlag, D-69121 Heidelberg, Germany |
Status: |
Reviewed |
Letzte Aktualisierung: |
02. 03. 2004 |
|
|