Formal Specification of the x86 Instruction Set Architecture [pdf]core.ac.uk6 points·ENOTTY··2 commentsOpen articleSaveView on HN