Login / Signup
Jorne Kandziora
Publication Activity (10 Years)
Years Active: 2015-2015
Publications (10 Years): 1
Top Topics
Mutual Exclusion
Annotation Tool
Multi User
Gene Ontology
Top Venues
FTfJP@ECOOP
</>
Publications
</>
Jorne Kandziora
,
Marieke Huisman
,
Christoph Bockisch
,
Marina Zaharieva-Stojanovski
Run-time assertion checking of JML annotations in multithreaded applications with e-OpenJML.
FTfJP@ECOOP
(2015)