Boolean and cartesian abstraction for model checking C programs (2001)

by T Ball, A Podelski, S K Rajamani
Venue:In TACAS