Cover Image
Read Now

1
by Ganai, Malay, Gupta, Aarti
Published 2007
Springer US
“.... SAT-Based Scalable Formal Verification Solutions discusses in detail several of the latest...”