Research | Projects
Research Projects
VERIFICA AUTOMATICA DI PROGRAMMI CONCORRENTI ATTRAVERSO SEQUENZIALIZZAZIONI SU EQUAZIONI SSA
| Department | Dipartimento di Informatica/DI | |
| Principal Investigator | LA TORRE Salvatore | |
| Funding | University funds | |
| Funders | Università degli Studi di SALERNO | |
| Cost | 3.164,10 euro | |
| Project duration | 25 September 2025 - 1 November 2028 | |
| Research Team | LA TORRE Salvatore (Project Coordinator) FERRARA ANNA LISA (Researcher) PARLATO GENNARO (Researcher) |
