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

Detailseite

Person

Druckansicht

Dr. Richard Bubel

Adresse Technische Universität Darmstadt
Fachbereich Informatik
Fachgebiet Software Engineering
Hochschulstraße 10
64289 Darmstadt

Projekte

Als Antragsteller
- laufende Projekte
  - KeY - Ein deduktives Software-Analyse-Werkzeug für die Forschungsgemeinschaft (Sachbeihilfen)
- abgeschlossene Projekte
  - Fully Automatic Logic-Based Information Flow Analysis (Schwerpunktprogramme)

© 2024 DFG Kontakt / Impressum / Datenschutz