803 followers RiuNet @RiuNetUPV Models for logics and conditional constraints in automated proofs of termination http://t.co/WW4Nx1k9sf 20 May 2015 Reply Repost Favourite