Reconsidering CEGAR: Learning Good Abstractions without Refinement - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

Anubhav Gupta, Edmund M. Clarke. Reconsidering CEGAR: Learning Good Abstractions without Refinement. In 23rd International Conference on Computer Design (ICCD 2005), 2-5 October 2005, San Jose, CA, USA. pages 591-598, IEEE Computer Society, 2005. [doi]

This author has not been identified. Look up 'Anubhav Gupta' in GoogleThis author has not been identified. Look up 'Edmund M. Clarke' in Google

runs on WebDSL