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+96
Autor Bardohl, B. and Bardohl, R. and Castro, P. and Ehrig, H. and Heckel, R. and Ribeiro, R. and Nunes, D. and Martini, A.
Buchtitel Proc. of the 3rd German-Brazilian Workshop on Information Technology, Berlin, December, 14th-15th 1995
Jahr 1996
Herausgeber St. Jähnichen, C. Lucena
Verlag Forschungszentrum Jülich GmbH, Bilateral Seminars of the International Bureau, Volume 26
Download Bibtex Eintrag

Zusatzinformationen / Extras

Direktzugang

Schnellnavigation zur Seite über Nummerneingabe