Write a Blog >>
MSR 2021
Mon 17 - Wed 19 May 2021
co-located with ICSE 2021
Marieke Huisman

Registered user since Wed 16 Jan 2019

Name:Marieke Huisman
Affiliation:University of Twente


FormaliSE 2021 Permission-Based Verification of Red-Black Trees and Their Merging
ICSE 2021 Europe Needs Strong Software Research
Show activities from other conferences

ICSE 2021-profile
View general profile