220 followers Verification papers @verif_papers Poling: SMT Aided Linearizability Proofs. - He Zhu, Gustavo Petri, Suresh Jagannathan http://t.co/ZGRLhzrFUm 19 Jul 2015 Reply Repost Favourite