Research | Funded Projects
Research Funded Projects
MODEL-CHECKING DI PROGRAMMI CONCORRENTI: DATA RACE, PROGRAMMI NON INTERPRETATI E APPLICAZIONI
| Department | Dipartimento di Informatica/DI | |
| Principal Investigator | LA TORRE Salvatore | |
| Funding | University funds | |
| Funders | Università degli Studi di SALERNO | |
| Cost | 3.108,54 euro | |
| Project duration | 18 May 2020 - 18 May 2023 | |
| Research Team | LA TORRE Salvatore (Project Coordinator) FERRARA ANNA LISA (Researcher) PARLATO GENNARO (Researcher) |
