Programmentwicklung durch Spezifikation und Transformation Teilvorhaben des BMFT Verbundprojekts KORSO (Korrekte Software) ; Schlußbericht, [Abschlu0datum des Vorhabens: Juni 1994]
Gespeichert in:
| 1. Verfasser: | |
|---|---|
| Format: | UnknownFormat |
| Sprache: | ger |
| Veröffentlicht: |
Bremen
Univ., FB 3 Mathematik u. Informatik
1994
|
| Schlagworte: | |
| Tags: |
Tag hinzufügen
Keine Tags, Fügen Sie den ersten Tag hinzu!
|
Tag hinzufügen | Beschreibung: | 14 Bl |
|---|