1,904 followers Germán Vidal 🤐 @the_heruman [y ya no espameo más :] Logic-Based Program Synthesis and Transformation https://t.co/sAc1Xm3f2H #springer 20 Jun 2016 Reply Repost Favourite