Prof. Dr.-Ing.
Institute for Formal Methods in Computer ScienceAlgorithmics Group
+49 711 685 88377 Email
Universitätsstr. 38 70563 Stuttgart Germany