Herr Prof. Dr. rer. nat.
Institut für Formale Methoden der InformatikTheoretische Informatik
E-Mail Website
Universitätsstr. 38 70569 Stuttgart Deutschland
