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