Cultura NEWS PRIMA PAGINA SLIDE TVGSSI, medaglia d’oro per la verifica di softwareRedazione IMN23 Dicembre 2019 Pubblicato da Redazione IMN23 Dicembre 2019497Omar Inverso, ricercatore in Informatica al GSSI dell’Aquila, ha vinto la medaglia d’oro nella competizione internazionale SV-COMP 2020 in cui sono in competizione i migliori