DMCA

Automatic verification of determinism for structured parallel programs (2010)

by Martin Vechev , Eran Yahav , Raghavan Raman , Vivek Sarkar
Venue:In SAS
Citations:11 - 1 self