Marina Zaharieva-Stojanovski - ECOOP 2015

Sun 5 - Fri 10 July 2015 Prague, Czech Republic

Not registered as user

Name:Marina Zaharieva-Stojanovski

Affiliation:University of Twente

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

Contributions

2015

FTfJP

Run-time Assertion Checking of JML Annotations in Multithreaded Applications with e-OpenJML

Show activities from other conferences

ECOOP 2015-profile
View general profile