Doctoral School Information Engineering and Computer Science
ERC Consolidator Grant 2020 ARTIST: Automated Reasoning with Theories and Induction for Software Technologies