| Publication type: |
Article in Collection |
| Author: |
B. Krieg-Brückner, J. Liu, H. Shi, B. Wolff |
| Editor: |
B. Krieg-Brückner |
| Title: |
Towards Correct, Efficient and Reusable Transformational Developments (extended version) |
| Book / Collection title: |
Programmentwicklung durch Spezifikation und Transformation — Bremer Beiträge zum Verbundprojekt KORSO (Korrekte Software) |
| Series: |
Informatik Bericht. ISSN 0722-8996 |
| Number: |
1/94 |
| Year published: |
1994 |
| Publisher: |
Universität Bremen |
| Status: |
Reviewed |
| Last updated: |
28. 12. 2002 |
|
 |
