Project Details
Person
Dr. Jochen Hoenicke
Address
Albert-Ludwigs-Universität Freiburg
Institut für Informatik
Lehrstuhl Softwaretechnik
Georges-Köhler-Allee 52
79110 Freiburg
-
As Applicant
-
Completed projects
-
Quantified Formulas in Interpolating SMT Solvers (Research Grants)
-
-
Completed projects
