Applied formal verification - Perry, Douglas L.; Foster, Harry, 1956- (New York : McGraw-Hill, 2005)
Includes bibliographical references (p. 227-229) and index
Keywords: Electronic circuits -- Testing; Integrated circuits -- Verification