Diego Latella -

Not registered as user yet

Name:Diego Latella

Contributions

QAPL 2019	Author of Recent Applications and Quantitative Aspects of Spatial Model Checking within the QAPL-track
TACAS 2019	Author of VoxLogicA: a Spatial Model Checker for Declarative Image Analysis within the TACAS 2019-track