project . 2021 - 2026
Funder: EC Project Code: 101002697
Overall Budget: 2,000,000 EURFunder Contribution: 2,000,000 EUR
Open Access mandate for Publications
One of the longstanding challenges in Computer Science has been the development of methods and tools providing rigorous guarantees about systems’ behavior, performance, and security. There have been many successes in overcoming this challenge, notably the invention and ...