243 followers Verification papers @verif_papers Extended symbolic finite automata and transducers. - Loris D'Antoni, Margus Veanes http://t.co/5cNoJn55ti 15 Sep 2015 Reply Repost Favourite