Formal specification of the x86 instruction set architecture

Ulan Degenbaev
[Google Scholar] [DBLP] [Citeseer] [url]

Ph.D. thesis
Universität des Saarlandes
Postfach 151141, 66041 Saarbrücken
2012
Note(s): ISA specification, x86 architecture, instruction set architecture