Karlsruher Institut für Technologie (KIT)
Institut für Theoretische Informatik
Lehrstuhl Anwendungsorientierte Formale Verifikation

Adresse Am Fasanengarten 5
76131 Karlsruhe
Deutschland

GERiT Diese Institution in GERiT

76131 Karlsruhe