Better Under-Approximation of Programs by Hiding Variables.

Thomas Ball, Orna Kupferman

Browse the full VMCAI paper archive.