Bitte warten...
Bitte warten...
English
Hilfe
Login
Forschungsportal
Suche
Forschungsprofile
Forschungsprojekte
Projektvollmacht
Lehre
Forschung
Organisation
Automated Cost Analysis of Data Structures
01.05.2023 - 30.04.2024
Forschungsförderungsprojekt
Personen
Projektleiter_in
Florian Zuleger
(E192-04)
Institut
E192-04 - Forschungsbereich Formal Methods in Systems Engineering
Auftrag/Kooperation
Amazon Research Awards
Forschungsschwerpunkte
Logic and Computation: 100%
Publikationen
Publikationsliste