Boolean and cartesian abstractions for model checking C programs,” in (0)

by T Ball, A Podelski, S K Rajamani
Venue:Proc. TACAS, ser. LNCS