Project Details
Person
Professor Dr. Harald Ganzinger (†)
-
As Project Head
-
Completed projects
-
Deduction and Automata Based Approaches (CRC/Transregios)
-
-
Completed projects
