234 followers Verification papers @verif_papers Program Synthesis Using Dual Interpretation. - Ashish Tiwari, Adria Gascón, Bruno Dutertre http://t.co/eVFy29X60J 01 Aug 2015 Reply Repost Favourite