Automated debugging with high level abstraction and refinement - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

Sean Safarpour, Andreas G. Veneris. Automated debugging with high level abstraction and refinement. In IEEE International High Level Design Validation and Test Workshop, HLDVT 2009, San Francisco, CA, USA, 4-6 November 2009. pages 26-31, IEEE, 2009. [doi]

This author has not been identified. Look up 'Sean Safarpour' in GoogleThis author has not been identified. Look up 'Andreas G. Veneris' in Google

runs on WebDSL