Whale: An Interpolation-based Algorithm for Interprocedural Verification Aws Albarghouthi (Univ. of Toronto) Arie Gurfinkel (SEI, CMU) - WHALE - Document - PDFSEARCH.IO

First Page	Meta Content
	Whale: An Interpolation-based Algorithm for Interprocedural Verification Aws Albarghouthi (Univ. of Toronto) Arie Gurfinkel (SEI, CMU) Add to Reading List Document Date: 2012-02-06 14:41:34 Open Document File Size: 1,59 MB Share Result on Facebook

Whale: An Interpolation-based Algorithm for Interprocedural Verification Aws Albarghouthi (Univ. of Toronto) Arie Gurfinkel (SEI, CMU)Add to Reading List