Entwicklung korrekter Systeme
Kontakt
- Leitung
Prof. Dr. Ernst-Rüdiger Olderog - Sekretariat
Andrea Göken
Tel.: +49-(0)441-798-3121
Fax.: +49-(0)441-798-2965
E-Mail: Andregrea.Gbk8foenqkevchgnt4o(Andrnvhea.Goeken@igzbf0nfoyrrmatik.uni-old0denburg.d8ahje)
Raum: A3 2-208
Aktuelle Projekte
Entwicklung korrekter Systeme
