243 followers Verification papers @verif_papers Program equivalence by circular reasoning. - Dorel Lucanu, Vlad Rusu http://t.co/lH3piFivmb 10 Jul 2015 Reply Repost Favourite