243 followers Verification papers @verif_papers A Forward Analysis for Recurrent Sets. - Alexey Bakhirkin, Josh Berdine, Nir Piterman http://t.co/JR0bAgL6I5 03 Sep 2015 Reply Repost Favourite