Adresse
Rheinland-Pfälzische Technische Universität Kaiserslautern-Landau
Fachbereich Informatik
Arbeitsgruppe Automated Reasoning
Gottlieb-Daimler-Straße
67663 Kaiserslautern
ORCID-ID 0000-0003-4715-5096