DMCA

Universal Causality Graphs: A Precise Happens-Before Model for Detecting Bugs in Concurrent Programs

by Vineet Kahlon , Chao Wang
Citations:17 - 2 self