Project Details
Person
Professor Dr. Jean Christoph Jung
Address
Technische Universität Dortmund
Fakultät für Informatik
Informatik I - Lehrstuhl Logik in der Informatik
Otto-Hahn-Straße 16
44227 Dortmund
ORCID-ID 0000-0002-4159-2255
