Prof. Dr.-Ing.
Institut für Formale Methoden der Informatik Algorithmik
+49 711 685 88377 E-Mail
Universitätsstr. 38 70563 Stuttgart Deutschland