Run-time assertion checking of JML annotations in multithreaded applications with e-OpenJML

J. (Jorne) Kandziora, M. (Marieke) Huisman, C.M. Bockisch, M. (Marina) Zaharieva-Stojanovski

Research output: Chapter in Book/Report/Conference proceedingConference Article in proceedingAcademicpeer-review

Fingerprint

Dive into the research topics of 'Run-time assertion checking of JML annotations in multithreaded applications with e-OpenJML'. Together they form a unique fingerprint.

Engineering & Materials Science