| Art der Veröffentlichung: |
Artikel in Sammlung |
| Autor: |
B. Krieg-Brückner, J. Liu, H. Shi, B. Wolff |
| Herausgeber: |
B. Krieg-Brückner |
| Titel: |
Towards Correct, Efficient and Reusable Transformational Developments (extended version) |
| Buch / Sammlungs-Titel: |
Programmentwicklung durch Spezifikation und Transformation — Bremer Beiträge zum Verbundprojekt KORSO (Korrekte Software) |
| Serie / Reihe: |
Informatik Bericht. ISSN 0722-8996 |
| Ausgabe: |
1/94 |
| Erscheinungsjahr: |
1994 |
| Verleger: |
Universität Bremen |
| Status: |
Reviewed |
| Letzte Aktualisierung: |
28. 12. 2002 |
|
 |
