226 followers Verification papers @verif_papers A Binary Decision Tree Abstract Domain Functor. - Junjie Chen, Patrick Cousot http://t.co/4t7KyhH6QI 03 Sep 2015 Reply Repost Favourite