Not registered as user yet

Name:Vincenzo Ciancia
Country:Italy
Affiliation:Istituto di Scienza e Tecnologie dell'Informazione "A. Faedo", Consiglio Nazionale delle Ricerche, Pisa, ITALY

Contributions

SPIN 2021 Author of Spatial Model Checking and its applications to Medical Image Analysis within the SPIN-track
FormaliSE 2021 Author of Feasibility of Spatial Model Checking for Nevus Segmentation within the FormaliSE 2021-track