245 followers Verification papers @verif_papers A Fully Verified Container Library. - Nadia Polikarpova, Julian Tschannen, Carlo A. Furia http://t.co/Tsmd2Cw89I 28 May 2015 Reply Repost Favourite