@InProceedings{Maus:AMAST2008-284,
  author =       "Stefan Maus and Micha{\l} Moskal and Wolfram Schulte",
  title =        "{Vx86}: {x86} Assembler Simulated in {C} Powered by
                 Automated Theorem Proving",
  month =        jul,
  year =         "2008",
  pages =        "284--298",
  editor =       "Jos{\'e} Meseguer and Grigore Ro{\c s}u",
  booktitle =    "Algebraic Methodology and Software Technology (AMAST 2008)",
  address =      "Urbana, IL, USA",
  publisher =    "Springer",
  series =       "Lecture Notes in Computer Science",
  volume =       "5140",
  ee =           "http://dx.doi.org/10.1007/978-3-540-79980-1_22",
}