Professor Dr. Anthony Lin

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