Toggle navigation
Sign in
Sign up
conf.researchr.org
/
Diego Latella
conf.researchr.org general profile
FSEN 2025 profile
ICSE 2021 profile
Not registered as user
Name:
Diego Latella
Country:
Italy
Affiliation:
ISTI-CNR, Pisa, Italy
Contributions
2025
FSEN
Author of Ten Years of Spatial Model Checking within the Marjan Festschrift-track
2021
FormaliSE
Author of Feasibility of Spatial Model Checking for Nevus Segmentation within the FormaliSE 2021-track
Share
x
Mon 26 May 00:45
