Symbolic pruning of concurrent program executions
- Chao Wang
- , Swarat Chaudhuri
- , Aarti Gupta
- , Yu Yang
Research output: Chapter in Book/Report/Conference proceeding › Conference contribution
36
Link opens in a new tab
Scopus
citations