Project Details
Person
Professor Dr. Fred Kröger
Address
Ludwig-Maximilians-Universität München
Institut für Informatik
Oettingenstraße 67
80538 München
-
As Participating Researcher
-
Completed projects
-
GRK 301: Logic in Computer Science (Research Training Groups)
-
-
Completed projects
