Verifying parallel loops with separation logic

Stefan Blom, Saeed Darabi, Marieke Huisman

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Academic › peer-review

    1 Citation (Scopus)
    64 Downloads (Pure)

    Fingerprint Dive into the research topics of 'Verifying parallel loops with separation logic'. Together they form a unique fingerprint.