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 2019 Steering Committee Member in Steering Committee within the QAPL-track
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