83 followers Sheldon Tan @sheldon_tan Advanced Symbolic Analysis for VLSI Systems - Methods and Applications | Springer http://t.co/jAxPxUEgNG 11 Jun 2015 Reply Repost Favourite