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 proceeding › Conference Article in proceeding › Academic › peer-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.

    Keyphrases

    Computer Science