Project Acronym Projekt Kurzbezeichnung
Testing Dafny
Project Title (de) Projekttitel (de)
Amazon Research Award for conducting research on "Testing Dafny for Unsoundness and Brittleness Bugs"
Project Title (en) Projekttitel (en)
Amazon Research Award for conducting research on "Testing Dafny for Unsoundness and Brittleness Bugs"
Consortium Coordinator Koordinator des Konsortiums
Principal Investigator Projektleiter_in