Intra-module Inference. - Shuvendu K. Lahiri; Shaz Qadeer; Juan P. Galeotti; Jan W. Voung; Thomas Wies (CAV, 2009)