Roberto Sebastiani e Alessandro Cimatti vincono il Computer-Aided Verification Award 2021 Lug 28, 2021 | ISTITUZIONI La più importante conferenza internazionale sulla verifica di correttezza di sistemi hardware e software Leggi l’articolo completo >> Fonte: UniTrento