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

Detailseite

Person

Druckansicht

Dr. Jochen Hoenicke

Adresse Albert-Ludwigs-Universität Freiburg
Institut für Informatik
Lehrstuhl Softwaretechnik
Georges-Köhler-Allee 52
79110 Freiburg

Projekte

Als Antragsteller
- abgeschlossene Projekte
  - Quantifizierte Formeln in interpolierenden SMT Solver (Sachbeihilfen)

© 2024 DFG Kontakt / Impressum / Datenschutz