Dipartimento di Ingegneria e Scienza dell'Informazione
ERC Consolidator Grant 2020 ARTIST: Automated Reasoning with Theories and Induction for Software Technologies