Efficient predictive analysis for detecting nondeterminism in multi-threaded programs
- Arnab Sinha
- , Sharad Malik
- , Aarti Gupta
Research output: Chapter in Book/Report/Conference proceeding › Conference contribution
3
Link opens in a new tab
Scopus
citations