Better under-approximation of programs by hiding of variables (2006)

by T Ball, O Kupferman
Venue:In: Proc. 7th VMCAI (2006