Specification and verification of GPGPU programs

Stefan Blom, Marieke Huisman, M. Mihelcic

    Research output: Book/Report › Report › Professional

    97 Downloads (Pure)

    Fingerprint

    Dive into the research topics of 'Specification and verification of GPGPU programs'. Together they form a unique fingerprint.