xAt 11.30 CEST the conf.researchr.org platform will be updated, causing the conference websites to be unresponsive for about 30 seconds. It's recommended to refresh your browser after maintenance has finished.
Write a Blog >>
ICSE 2021
Mon 17 May - Sat 5 June 2021
Marieke Huisman

Registered user since Wed 16 Jan 2019

Name: Marieke Huisman

Country: Netherlands

Affiliation: University of Twente

Personal website: http://wwwhome.cs.utwente.nl/~marieke/

Contributions

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

Using general profile