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