245 followers Verification papers @verif_papers Learning Commutativity Specifications. - Timon Gehr, Dimitar Dimitrov, Martin T. Vechev http://t.co/dVqladkUoV 22 Jul 2015 Reply Repost Favourite