共 50 条
- [4] CodeSurfer/x86 - A platform for analyzing x86 executables COMPILER CONSTRUCTION, PROCEEDINGS, 2005, 3443 : 250 - 254
- [8] Model checking x86 executables with CodeSurfer/x86 and WPDS++ COMPUTER AIDED VERIFICATION, PROCEEDINGS, 2005, 3576 : 158 - 163
- [10] MICROCODED EMULATION PUTS NEW PROCESSOR IN X86 PC FRAY ELECTRONIC PRODUCTS MAGAZINE, 1994, 37 (01): : 21 - 22