Project Details
Dr. Henrik Björklund
Address
Technische Universität Dortmund
Fakultät für Informatik
Informatik I - Lehrstuhl Logik in der Informatik
Otto-Hahn-Straße 16
44227 Dortmund