Testing Program Analyzers Ad Absurdum

01.07.2023 - 30.06.2028
Research funding project

People

Project leader

Subproject managers

Institute

Grant funds

  • European Commission (EU) ERC Starting Grant ERC European Research Council HORIZON I - Excellent Science Frameworkprogramme HORIZON EUROPE European Commission Call identifier HORIZON-ERC-STG-2022

Research focus

  • Information Systems Engineering: 100%

Publications