Di, Sui, Ye, Xue, 2015. Region-Based May-Happen-in-Parallel Analysis for C Programs, in: . IEEE.. https://doi.org/10.1109/icpp.2015.98