Researchr is a web site for finding, collecting, sharing, and reviewing scientific publications, for researchers by researchers.
Sign up for an account to create a profile with publication list, tag and review your related work, and share bibliographies with your co-authors.
Mile K. Stojcev. Douglas L. Perry, Harry D. Foster, Applied Formal Verification. Hardcover, pp 237, Plus XIV. New York: McGraw Hill; 2005, ISBN 0-07-144372-X. Microelectronics Reliability, 48(1):169-170, 2008. [doi]
Abstract is missing.