Prof. Dr. Dr. h.c.
Institute of Formal Methods of Computer ScienceFormal Concepts of Computer Science
Website
Universitätsstr. 38 70569 Stuttgart Deutschland