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

01.04.2024 - 31.03.2027
Research funding project

People

Project leader

Subproject managers

Institute

Grant funds

  • Amazon Research Awards

Research focus

  • Information Systems Engineering: 100%

Publications