Decompilation into logic - Improved - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

Magnus O. Myreen, Michael J. C. Gordon, Konrad Slind. Decompilation into logic - Improved. In Gianpiero Cabodi, Satnam Singh, editors, Formal Methods in Computer-Aided Design, FMCAD 2012, Cambridge, UK, October 22-25, 2012. pages 78-81, IEEE, 2012. [doi]

This author has not been identified. Look up 'Magnus O. Myreen' in GoogleThis author has not been identified. Look up 'Michael J. C. Gordon' in GoogleThis author has not been identified. Look up 'Konrad Slind' in Google

runs on WebDSL