2. Professors
  3. Research
  4. Projects

Projects

Salvatore LA TORRE Projects

VERIFICA DEI PROGRAMMI: ESTENSIONE DI BOUNDED MODEL-CHECKERS CON SHADOW MEMORY E APPLICAZIONI

DepartmentDipartimento di Informatica/DI
FundingUniversity funds
FundersUniversità  degli Studi di SALERNO
Cost2.709,27 euro
Project duration25 July 2022 - 25 July 2025
Research TeamLA TORRE Salvatore (Project Coordinator)
FERRARA ANNA LISA (Researcher)
GARBI Giulio (Researcher)
PARLATO GENNARO (Researcher)