A Verification Technique for Deterministic Parallel Programs (extended version)

Saeed Darabi, Stefan Blom, Marieke Huisman

    Research output: Book/ReportReportOther research output

    193 Downloads (Pure)

    Fingerprint

    Dive into the research topics of 'A Verification Technique for Deterministic Parallel Programs (extended version)'. Together they form a unique fingerprint.