ETAPS 2019 (series) / Diego Latella
Not registered as user yet
Name:Diego Latella
Contributions
| QAPL 2019 | Recent Applications and Quantitative Aspects of Spatial Model Checking | ||||||||||||||||||||||||||||||||||||||||
| TACAS 2019 | VoxLogicA: a Spatial Model Checker for Declarative Image Analysis | ||||||||||||||||||||||||||||||||||||||||
| Show activities from other conferences | |||||||||||||||||||||||||||||||||||||||||
ETAPS 2019-profile
View general profile
View general profile