Marieke Huisman - RoSE 2021

Wed 2 Jun 2021

co-located with ICSE 2021

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

2021

ICSE

Europe Needs Strong Software Research

FormaliSE

Permission-Based Verification of Red-Black Trees and Their Merging

Show activities from other conferences

ICSE 2021-profile
View general profile