Formal equivalence checking and design debugging

Responsibility
by Shi-Yu Huang and Kwang-Ting (Tim) Cheng.
Imprint
Boston : Kluwer Academic Publishers, c1998.
Physical description
xviii, 229 p. ; 24 cm.
Series
Frontiers in electronic testing ; v. 12

Browse related items

Start at call number:
Librarian view | Catkey: 3948409