direkt zum Inhalt springen

direkt zum Hauptnavigationsmenü

Sie sind hier

TU Berlin

Inhalt des Dokuments

Publications Prof. Hartmut Ehrig (TFS)

GRAPHIT: Graphical Support and Integration of Formal and Semiformal Methods for Software Specification and Development
Zitatschlüssel BBC+93
Autor Bardohl, B. and Bardohl, R. and Castro, P. and Ehrig, H. and Korff, M. and Padberg, J. and Ribeiro, R. and Nunes, D. and Martins, J. and Martini, A.
Buchtitel Proc. of the Workshop on Information Technology: Cooperative Research with Industrial Partners between Germany and Brazil
Jahr 1993
Verlag PUC/Rio Press
Download Bibtex Eintrag

Zusatzinformationen / Extras

Direktzugang

Schnellnavigation zur Seite über Nummerneingabe