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

Detailseite

Person

Druckansicht

Dr. Christopher Broadbent

Adresse Technische Universität München
Fakultät für Informatik
Lehrstuhl für Informatik VII: Theoretische Informatik
Boltzmannstraße 3
85748 Garching

Projekte

Als Antragsteller
- abgeschlossene Projekte
  - Skalierbare saturation-basierte Verfahren für die Verifikation von Programmen höherer Ordnung (Sachbeihilfen)

© 2024 DFG Kontakt / Impressum / Datenschutz