Amazon Research Award for conducting research on "Testing Dafny for Unsoundness and Brittleness Bugs"

01.04.2024 - 31.03.2027
Forschungsförderungsprojekt

Personen

Projektleiter_in

Subprojektmanager_innen

Institut

Förderungsmittel

  • Amazon Research Awards

Forschungsschwerpunkte

  • Information and Communication Technology

Publikationen