Not registered as user yet
Name:Diego Latella
Country:Italy
Affiliation:ISTI-CNR, Pisa, Italy
Contributions
FormaliSE 2021 | Feasibility of Spatial Model Checking for Nevus Segmentation | ||||||||||||||||||||||||||||||||||||||||
Show activities from other conferences |
ICSE 2021-profile
View general profile
View general profile