Formal Methods for GPGPU Programming: Is the Demand Met?

Lars B. van den Haak, Anton Wijs, Mark van den Brand, Marieke Huisman

Browse the full IFM paper archive.