Not registered as user yet

Name:Diego Latella
Country:Italy
Affiliation:ISTI-CNR, Pisa, Italy

Contributions

FormaliSE 2021 Author of Feasibility of Spatial Model Checking for Nevus Segmentation within the FormaliSE 2021-track