• Sign in
  • Sign up
conf.researchr.org / Diego Latella
  • ETAPS 2019 profile

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

Share
xSat 6 Mar 13:14
using conf.researchr.org (v1.43.2)
Support page
Sign Up