Rheinland-Pfälzische Technische Universität Kaiserslautern-Landau
Fachbereich Informatik
Arbeitsgruppe Automated Reasoning

Adresse Gottlieb-Daimler-Straße
67663 Kaiserslautern
Deutschland

GERiT Diese Institution in GERiT