Proving Conditional Termination - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

Byron Cook, Sumit Gulwani, Tal Lev-Ami, Andrey Rybalchenko, Mooly Sagiv. Proving Conditional Termination. In Aarti Gupta, Sharad Malik, editors, Computer Aided Verification, 20th International Conference, CAV 2008, Princeton, NJ, USA, July 7-14, 2008, Proceedings. Volume 5123 of Lecture Notes in Computer Science, pages 328-340, Springer, 2008. [doi]

This author has not been identified. Look up 'Byron Cook' in GoogleThis author has not been identified. Look up 'Sumit Gulwani' in GoogleThis author has not been identified. Look up 'Tal Lev-Ami' in GoogleThis author has not been identified. Look up 'Andrey Rybalchenko' in GoogleThis author has not been identified. Look up 'Mooly Sagiv' in Google

runs on WebDSL