Thread quantification for concurrent shape analysis. (2008)

by J Berdine, T Lev-Ami, R Manevich, G Ramalingam, M Sagiv
Venue:In CAV,