243 followers Verification papers @verif_papers Synthesis Through Unification. - Rajeev Alur, Pavol Cerný, Arjun Radhakrishna http://t.co/oeUnFhqoWQ 19 Jul 2015 Reply Repost Favourite