Projects

Research Projects

VERIFICA AUTOMATICA DI PROGRAMMI ATTRAVERSO SCOMPOSIZIONI DI GRAFI

DepartmentDipartimento di Informatica/DI
FundingUniversity funds
FundersUniversità  degli Studi di SALERNO
Cost3.501,59 euro
Project duration25 November 2024 - 31 March 2028
Proroga31 marzo 2028
Research TeamLA TORRE Salvatore (Project Coordinator)
FERRARA ANNA LISA (Researcher)
GARBI Giulio (Researcher)
PARLATO GENNARO (Researcher)