DDI0406B Arm Architecture Reference Manual Errata Markup 8 0
Understanding Verification Validation of Software Under IEC61508-32010
x-86 Architecture
Cherubini_PhDAnnualReport06