Abstracting path conditions. (2012)

by J Strejcek, M Trtík
Venue:In ISSTA,