Publication type: |
Article in Collection |
Author: |
B. Krieg-Brückner, J. Liu, H. Shi, B. Wolff |
Title: |
Towards Correct, Efficient and Reusable Transformational Developments |
Book / Collection title: |
KORSO |
Series: |
Lecture Notes in Computer Science |
Year published: |
1995 |
Publisher: |
Springer-Verlag, D-69121 Heidelberg, Germany |
Status: |
Reviewed |
Last updated: |
02. 03. 2004 |
|
|