Termination proofs for systems code - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

Byron Cook, Andreas Podelski, Andrey Rybalchenko. Termination proofs for systems code. In Michael I. Schwartzbach, Thomas Ball, editors, Proceedings of the ACM SIGPLAN 2006 Conference on Programming Language Design and Implementation, Ottawa, Ontario, Canada, June 11-14, 2006. pages 415-426, ACM, 2006. [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