direkt zum Inhalt springen

direkt zum Hauptnavigationsmenü

Sie sind hier

TU Berlin

Inhalt des Dokuments

Publications Prof. Hartmut Ehrig (TFS)

Abschlußbericht Projekt KORSO: Teilvorhaben: Formale Entwicklungsmethoden und Realisierungstechniken für korrekte Software
Zitatschlüssel EPW+94
Autor Ehrig, H. and Pepper, P. and Wolter, U. and Jatzeck, M. and Cornelius, F. and Faulhaber, J. and Grieskamp, W. and Löwe, M. and Claßen, I. and Gerke, C. and Didrich, K.
Jahr 1994
Institution Univ. Bremen
Typ der Publikation Technical Report
Download Bibtex Eintrag

Zusatzinformationen / Extras

Direktzugang

Schnellnavigation zur Seite über Nummerneingabe