Herr Prof. Dr. Dr. h.c.
Institut für Formale Methoden der InformatikFormale Konzepte der Informatik
Website
Universitätsstr. 38 70569 Stuttgart Deutschland