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: Andrq3ea.Goek4ocen (Andrea.Goefe+ken@infclncormatik.uni-oldruy3encvbqburg.dyei+e)
Raum: A3 2-208
Aktuelle Projekte
Entwicklung korrekter Systeme
