#hybrid system
-
23 Ottobre 2019Ricercatrice di FBK vince il Radhia Cousot Young Researcher Best Paper Award 2019Anna Becchi, ricercatrice dell'Unità ES della Fondazione Bruno Kessler, è stata premiata a SAS 2019 per l'elaborazione di nuove tecniche di verifica basate su interpretazione astratta nel dominio dei poliedri