Equational Reasoning on x86 Assembly Code

Kevin Coogan, Saumya K. Debray. Equational Reasoning on x86 Assembly Code. In 11th IEEE Working Conference on Source Code Analysis and Manipulation, SCAM 2011, Williamsburg, VA, USA, September 25-26, 2011. pages 75-84, IEEE, 2011. [doi]

Abstract

Abstract is missing.