245 followers Verification papers @verif_papers Fine-Grained Caching of Verification Results. - K. Rustan M. Leino, Valentin Wüstholz http://t.co/VB5NeruUSm 22 Jul 2015 Reply Repost Favourite