Automated Cost Analysis of Data Structures

01.05.2023 - 30.04.2024
Forschungsförderungsprojekt

Personen

Projektleiter_in

Institut

Contract/collaboration

  • Amazon Research Awards

Forschungsschwerpunkte

  • Logic and Computation: 100%

Publikationen