Go directly to content Go directly to font size and contrast

Project Details

Institution

Print View

Albert-Ludwigs-Universität Freiburg
Institut für Informatik
Lehrstuhl Softwaretechnik

Address Georges-Köhler-Allee 52
79110 Freiburg
Deutschland

GERiT This institution in GERiT

79110 Freiburg

Projects

Research Grants
- Completed projects
  - Computergestützte Verifikation von Automatenkonstruktionen für Model Checking
    (Applicants Esparza, Javier ; Nebel, Bernhard ; Nipkow, Ph.D., Tobias )
  - Quantified Formulas in Interpolating SMT Solvers
    (Applicant Hoenicke, Jochen )

© 2024 DFG Disclaimer / Copyright / Privacy Policy