Satisfiability Modulo Recursive Programs - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

Philippe Suter, Ali Sinan Köksal, Viktor Kuncak. Satisfiability Modulo Recursive Programs. In Eran Yahav, editor, Static Analysis - 18th International Symposium, SAS 2011, Venice, Italy, September 14-16, 2011. Proceedings. Volume 6887 of Lecture Notes in Computer Science, pages 298-315, Springer, 2011. [doi]

Identified as Philippe Suter This author has not been identified. Look up 'Ali Sinan Köksal' in GoogleThis author has not been identified. Look up 'Viktor Kuncak' in Google

runs on WebDSL