Searching for "Vx86 x86 Assembler Simulated in C Powered by Automated Theorem Proving." – sorted by Relevance.

Order by: Citations | Year (Descending) | Year (Ascending) | Recency

Try your query at: Scholar | Yahoo! | Ask | Bing | CSB

1 documents found, showing 1 through 1.

Vx86: x86 assembler simulated in C powered by automated theorem proving
by Stefan Maus, Wolfram Schulte, Universität Freiburg Freiburg — 2008 — In 12th International Conference on Algebraic Methodology and Software Technology (AMAST 2008), LNCS 5140
…Vx86: x86 Assembler Simulated in C Powered by Automated Theorem Proving Stefan Maus 1 , Micha…
Cited by 3 (2 self) – Add To MetaCart

Showing 1 through 1.

Try your query at: Scholar | Yahoo! | Ask | Bing | CSB