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

Cached

Download Links

by Thomas Ball , Orna Kupferman
Venue:In: Proc. 7th VMCAI (2006
Citations:2 - 1 self