Books by International Workshop on Microprocessor Test and Verification (8th 2007 Austin, Tex.) on BookTides.