Write a Blog >>
SEH 2021
Thu 3 Jun 2021
co-located with
ICSE 2021
Toggle navigation
Attending
Venue: Clowdr
Clowdr: Main Conference
Clowdr: Co-located Events
Clowdr: Workshops
Program
Complete Program
Your Program
Thu 3 Jun
Track/Call
Organization
SEH 2021 Committees
Track Committees
Organizing Committee
Program Committee
Contributors
People Index
Search
Series
Sign in
Sign up
ICSE 2021
(
series
) /
SEH 2021 (
series
) /
Mieke Massink
ICSE 2021 profile
conf.research.org general profile
ETAPS 2019 profile
ICSE 2020 profile
ICSE 2022 profile
ICSE 2023 profile
Registered user since Mon 19 Nov 2018
Name:
Mieke Massink
Country:
Italy
Affiliation:
CNR-ISTI Pisa, Italy
Contributions
2021
FormaliSE
Committee Member in Programme Committee within the FormaliSE 2021-track
Feasibility of Spatial Model Checking for Nevus Segmentation
Show activities from other conferences
Share
ICSE 2021-profile
View general profile
x
Sun 10 Dec 23:58