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

Address Am Fasanengarten 5
76131 Karlsruhe
Deutschland

GERiT This institution in GERiT

76131 Karlsruhe