Sciweavers

SAS
2010
Springer

Automatic Verification of Determinism for Structured Parallel Programs

13 years 9 months ago
Automatic Verification of Determinism for Structured Parallel Programs
Martin T. Vechev, Eran Yahav, Raghavan Raman, Vive
Added 30 Jan 2011
Updated 30 Jan 2011
Type Journal
Year 2010
Where SAS
Authors Martin T. Vechev, Eran Yahav, Raghavan Raman, Vivek Sarkar
Comments (0)