Marieke Huisman - ECOOP 2015

Sun 5 - Fri 10 July 2015 Prague, Czech Republic

Not registered as user yet

Name: Marieke Huisman

Affiliation: University of Twente

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

Contributions

FTfJP 2015	Committee Member in Program committee within the FTfJP-track Author of Run-time Assertion Checking of JML Annotations in Multithreaded Applications with e-OpenJML within the FTfJP-track Author of Verification of Concurrent Software: Java and OpenCL within the FTfJP-track
ECOOP 2015	Committee Member in Programme Committee within the Research Track-track
Show activities from other conferences