Embracing Overapproximation for Proving Nontermination - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

Byron Cook, Carsten Fuhs, Kaustubh Nimkar, Peter W. O'Hearn. Embracing Overapproximation for Proving Nontermination. TinyToCS, 3, 2015. [doi]

This author has not been identified. Look up 'Byron Cook' in GoogleThis author has not been identified. Look up 'Carsten Fuhs' in GoogleThis author has not been identified. Look up 'Kaustubh Nimkar' in GoogleThis author has not been identified. Look up 'Peter W. O'Hearn' in Google

runs on WebDSL