# Feasibility of Spatial Model Checking for Nevus Segmentation

> Research article (2021 IEEE/ACM 9th International Conference on Formal Methods in Software Engineering (FormaliSE), 2021) · cited 21× · AI/ML

**Wikidata**: [openalex:W3176674467](https://www.wikidata.org/wiki/openalex:W3176674467)  
**Source**: https://4ort.xyz/entity/feasibility-of-spatial-model-checking-for-nevus-segmentation