direkt zum Inhalt springen

direkt zum Hauptnavigationsmenü

Sie sind hier

TU Berlin

Inhalt des Dokuments

Publications Prof. Hartmut Ehrig (TFS)

How to Cope with the Spectrum of Spectrum
Zitatschlüssel WDC+95
Autor Wolter, U. and Didrich, K. and Cornelius, F. and Klar, M. and Wessäly, R. and Ehrig, H.
Buchtitel KORSO: Methods, Languages, and Tools for the Construction of Correct Software
Seiten 173-189
Jahr 1995
Jahrgang 009
Notiz A preliminary version appeared as Tech. Report 94-22, Technische Universität Berlin, FB Informatik, 1994
Herausgeber Broy, M. and Jähnichen, S.
Verlag SPRINGER
Serie LNCS
Download Bibtex Eintrag

Zusatzinformationen / Extras

Direktzugang

Schnellnavigation zur Seite über Nummerneingabe