W.: Vx86: x86 assembler simulated in C powered by automated theorem proving (2008)

by S Maus, M Moskał, Schulte
Venue:In: (AMAST 2008), LNCS