Direkt zum Inhalt springen Direkt zu Textvergrößerung und Kontrast springen

Detailseite

Institution

Druckansicht

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

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

GERiT Diese Institution in GERiT

79110 Freiburg

Projekte

Sachbeihilfen
- abgeschlossene Projekte
  - Computergestützte Verifikation von Automatenkonstruktionen für Model Checking
    (Antragsteller Esparza, Javier ; Nebel, Bernhard ; Nipkow, Ph.D., Tobias )
  - Quantifizierte Formeln in interpolierenden SMT Solver
    (Antragsteller Hoenicke, Jochen )

© 2024 DFG Kontakt / Impressum / Datenschutz