DMCA
Vx86: x86 assembler simulated in C powered by automated theorem proving (2008)
Cached
Download Links
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 |