226 followers Verification papers @verif_papers Automated Verification of Nested DFS. - Jaco C. van de Pol http://t.co/OhwUVWfQqB 15 May 2015 Reply Repost Favourite