Ricerca | Progetti Finanziati
Ricerca Progetti Finanziati
VERIFICA DEI PROGRAMMI: ESTENSIONE DI BOUNDED MODEL-CHECKERS CON SHADOW MEMORY E APPLICAZIONI
| Struttura | Dipartimento di Informatica/DI | |
| Responsabile | LA TORRE Salvatore | |
| Tipo di finanziamento | Fondi dell'ateneo | |
| Finanziatori | Università degli Studi di SALERNO | |
| Importo | 2.709,27 euro | |
| Periodo | 25 Luglio 2022 - 30 Giugno 2026 | |
| Proroga | 30 giugno 2026 | |
| Gruppo di Ricerca | LA TORRE Salvatore (Coordinatore Progetto) FERRARA ANNA LISA (Ricercatore) GARBI Giulio (Ricercatore) PARLATO GENNARO (Ricercatore) |
