Ilya Wagner, Valeria Bertacco <br/><br/>
Post-Silicon and Runtime Verification for Modern Processors 

 - Germany  Springer  2014 
<br/><br/><label>ISBN: </label>9781441980342 
<br/><br/><label>Subjects--Topical Terms: </label><br/>Post-Silicon and Runtime Verification for Modern Processors