Hardware and software, verification and testingShmuel Ur, Eyal Bin, Yaron Wolfsthal · First published 2006Open the Tome