Marina Zaharieva-Stojanovski -

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

Author of Run-time Assertion Checking of JML Annotations in Multithreaded Applications with e-OpenJML within the FTfJP-track