Detailseite
Professor Dr. Detlef Seese
Adresse
Karlsruher Institut für Technologie (KIT)
Institut für Angewandte Informatik und
Formale Beschreibungsverfahren (AIFB)
Postfach 6980
76049 Karlsruhe