Investigación | Proyectos Financiados
Investigación Proyectos Financiados
VERIFICA DEI PROGRAMMI: ESTENSIONE DI BOUNDED MODEL-CHECKERS CON SHADOW MEMORY E APPLICAZIONI
| Estructura | Dipartimento di Informatica/DI | |
| Responsable | LA TORRE Salvatore | |
| Tipo de Financiación | Fondos universitarios | |
| Finanziatori | Università degli Studi di SALERNO | |
| Importe financiado | 2.709,27 euro | |
| Periodo | 25 Julio 2022 - 25 Julio 2025 | |
| Grupo de Investigación | LA TORRE Salvatore (Coordinador del Proyecto) FERRARA ANNA LISA (Investigador) GARBI Giulio (Investigador) PARLATO GENNARO (Investigador) |
