Extended Sequential Reasoning for Data-Race-Free Programs ∗

Cached

Download Links

by Laura Effinger-dean , Hans-j. Boehm , Dhruva Chakrabarti , Pramod Joisha
Citations:10 - 2 self