Sign in

A Method for Improving the Precision and Coverage of Atomicity Violation Predictions.

Reng ZengZhuo SunSu LiuXudong He
Published in: TACAS (2015)
Keyphrases