Proving thread termination - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

Byron Cook, Andreas Podelski, Andrey Rybalchenko. Proving thread termination. In Jeanne Ferrante, Kathryn S. McKinley, editors, Proceedings of the ACM SIGPLAN 2007 Conference on Programming Language Design and Implementation, San Diego, California, USA, June 10-13, 2007. pages 320-330, ACM, 2007. [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