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
Universität des Saarlandes
Postfach 151141, 66041 Saarbrücken
2012
Note(s): ISA specification, x86 architecture, instruction set architecture