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: Andreazwlbz.Ghr6+oekgf4kenqn7py (Andrea.Gfj+zoek3dgen@peinformatik.uni-oldtienx0q0burgayfoo.de)
Raum: A3 2-208
Aktuelle Projekte
Entwicklung korrekter Systeme
