Formal Verification : An Essential Toolkit for Modern VLSI Design
$105.63
$93.61
Elsevier Science & Technology