DMCA

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

by Stefan Maus , Michał Moskal , Wolfram Schulte
Venue:IN 12TH INTERNATIONAL CONFERENCE ON ALGEBRAIC METHODOLOGY AND SOFTWARE TECHNOLOGY (AMAST 2008), LNCS 5140
Citations:10 - 3 self