Feasibility of Spatial Model Checking for Nevus Segmentation.

Gina Belmonte, Giovanna Broccia, Vincenzo Ciancia, Diego Latella, Mieke Massink

Browse the full ICSE paper archive.