Ricerca | Progetti
Ricerca Progetti
MODEL-CHECKING DI PROGRAMMI CONCORRENTI: DATA RACE, PROGRAMMI NON INTERPRETATI E APPLICAZIONI
| Struttura | Dipartimento di Informatica/DI | |
| Responsabile | LA TORRE Salvatore | |
| Tipo di finanziamento | Fondi dell'ateneo | |
| Finanziatori | Università degli Studi di SALERNO | |
| Importo | 3.108,54 euro | |
| Periodo | 18 Maggio 2020 - 18 Maggio 2023 | |
| Gruppo di Ricerca | LA TORRE Salvatore (Coordinatore Progetto) FERRARA ANNA LISA (Ricercatore) PARLATO GENNARO (Ricercatore) |
