245 followers Verification papers @verif_papers Program Analysis with Local Policy Iteration https://t.co/lRURqnoZn2 21 Oct 2015 Reply Repost Favourite