Abstraction Refinement for Termination - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

Byron Cook, Andreas Podelski, Andrey Rybalchenko. Abstraction Refinement for Termination. In Chris Hankin, Igor Siveroni, editors, Static Analysis, 12th International Symposium, SAS 2005, London, UK, September 7-9, 2005, Proceedings. Volume 3672 of Lecture Notes in Computer Science, pages 87-101, Springer, 2005. [doi]

This author has not been identified. Look up 'Byron Cook' in GoogleThis author has not been identified. Look up 'Andreas Podelski' in GoogleThis author has not been identified. Look up 'Andrey Rybalchenko' in Google

runs on WebDSL