Correct System Design

[Translate to English:]
Entwicklung korrekter Systeme
Contact
- Head
Prof. Dr. Ernst-Rüdiger Olderog - Secretary
Andrea Göken
Tel.: +49-(0)441-798-3121
Fax.: +49-(0)441-798-2965
Mail: Andrea.Goeken(at)informatik.uni-oldenburg.de
Room: A3 2-208