Terminator: Beyond Safety - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

Byron Cook, Andreas Podelski, Andrey Rybalchenko. Terminator: Beyond Safety. In Thomas Ball, Robert B. Jones, editors, Computer Aided Verification, 18th International Conference, CAV 2006, Seattle, WA, USA, August 17-20, 2006, Proceedings. Volume 4144 of Lecture Notes in Computer Science, pages 415-418, Springer, 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