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örderungmittel

  • Amazon Research Awards

Forschungsschwerpunkte

  • Information Systems Engineering: 100%

Publikationen