direkt zum Inhalt springen

direkt zum Hauptnavigationsmenü

Sie sind hier

TU Berlin

Inhalt des Dokuments

Publications Prof. Hartmut Ehrig (TFS)

On the Role of Formal Specification Techniques: From TAPSOFT 1985 to ETAPS 2000
Zitatschlüssel Ehr00
Autor Ehrig, H.
Seiten 90–91
Jahr 2000
Journal BEACTS
Jahrgang 71
Download Bibtex Eintrag

Zusatzinformationen / Extras

Direktzugang

Schnellnavigation zur Seite über Nummerneingabe