Applied formal verification /

Bibliographic Details
Main Author:	Perry, Douglas L.
Other Authors:	Foster, Harry, 1956-
Format:	Book
Language:	English
Published:	New York : McGraw-Hill, [2005]
Series:	McGraw-Hill professional engineering. Electronic engineering.
Subjects:	Integrated circuits > Verification. Electronic circuits > Testing.

Evans: Library Stacks