Project Details
Person
Dr. Sebastian Lins
Address
Karlsruher Institut für Technologie (KIT)
Institut für Angewandte Informatik und
Formale Beschreibungsverfahren (AIFB)
Post Office Box 6980
76049 Karlsruhe
