direkt zum Inhalt springen

direkt zum Hauptnavigationsmenü

Sie sind hier

TU Berlin

Inhalt des Dokuments

Publications Prof. Hartmut Ehrig (TFS)

Formal Specification Techniques for Software and Systems Engineering
Zitatschlüssel EK03
Autor Ehrig, H. and Kluge, O.
Buchtitel Proc. FORMS 2003
Seiten 23–36
Jahr 2003
Adresse Budapest
Download Bibtex Eintrag

Zusatzinformationen / Extras

Direktzugang

Schnellnavigation zur Seite über Nummerneingabe