245 followers Verification papers @verif_papers Fast Interpolating BMC. - Yakir Vizel, Arie Gurfinkel, Sharad Malik http://t.co/zBNWig9g8X 22 Jul 2015 Reply Repost Favourite