Not registered as user yet

Name: Marina Zaharieva-Stojanovski

Affiliation: University of Twente

Personal website: https://wwwhome.ewi.utwente.nl/~zaharievam/Web_Site/Home.html

ECOOP 2015 Activities

• Author of Run-time Assertion Checking of JML Annotations in Multithreaded Applications with e-OpenJML within the FTfJP-track in FTfJP 2015
• Show activities from other conferences