ISBN 9781461376064 books & textbook
Formal Equivalence Checking and Design Debugging (Frontiers in Electronic Testing)
Shi-Yu Huang, Shi-Yu Kwang-Ting (Tim) Cheng
Springer /2012-09-30 Paperback / 247 Pages
isbn-10: 1461376068 / isbn-13: 9781461376064
