Titel in Übersetzung | Formal methods in practice |
---|---|
Originalsprache | Deutsch |
Seiten (von - bis) | 5-6 |
Seitenumfang | 2 |
Fachzeitschrift | IT - Information Technology |
Jahrgang | 39 |
Ausgabenummer | 3 |
DOIs | |
Publikationsstatus | Veröffentlicht - März 1997 |
Editorial: Formale Methoden in der Praxis
Publikation: Beitrag in Fachzeitschrift › Leitartikel