Post-Silicon and Runtime Verification for Modern Processors - Ilya Wagner - Häftad | Bokus