ETAPS 2019
Sat 6 - Thu 11 April 2019 Prague, Czech Republic
ETAPS 2019 (series) / Mieke Massink
Mieke Massink

Registered user since Mon 19 Nov 2018

Name: Mieke Massink

Affiliation: CNR-ISTI Pisa, Italy

Contributions

QAPL 2019Steering Committee Member in Steering Committee within the QAPL-track
Author of Recent Applications and Quantitative Aspects of Spatial Model Checking within the QAPL-track
TACAS 2019Author of VoxLogicA: a Spatial Model Checker for Declarative Image Analysis within the TACAS 2019-track
Show activities from other conferences

ETAPS 2019-profile
View general profile