Marieke Huisman - ECOOP 2015

Sun 5 - Fri 10 July 2015 Prague, Czech Republic

Registered user since Wed 16 Jan 2019

Name:Marieke Huisman

Affiliation:University of Twente

Contributions

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