Research | Projects
Research Projects
VERIFICA DEI PROGRAMMI: ESTENSIONE DI BOUNDED MODEL-CHECKERS CON SHADOW MEMORY E APPLICAZIONI
| Department | Dipartimento di Informatica/DI | |
| Principal Investigator | LA TORRE Salvatore | |
| Funding | University funds | |
| Funders | Università degli Studi di SALERNO | |
| Cost | 2.709,27 euro | |
| Project duration | 25 July 2022 - 30 June 2026 | |
| Proroga | 30 giugno 2026 | |
| Research Team | LA TORRE Salvatore (Project Coordinator) FERRARA ANNA LISA (Researcher) GARBI Giulio (Researcher) PARLATO GENNARO (Researcher) |
