Towards a formal model of the x86 ISA
Matt Kaufmann, Warren A. Hunt Jr.[Google Scholar] [DBLP] [Citeseer]
Department of Computer Science, University of Texas at Austin, Tech. Rep. TR-12-07
2012
Note(s): ISA specification, x86 architecture, instruction set architecture
2012
Note(s): ISA specification, x86 architecture, instruction set architecture