Automated Cost Analysis of Data Structures

01.05.2023 - 30.04.2024
Forschungsförderungsprojekt

Personen

Projektleiter_in

Institut

Auftrag/Kooperation

  • Amazon Research Awards

Forschungsschwerpunkte

  • Logic and Computation: 100%

Publikationen