Fixing Design Errors with Counterexamples and Resynthesis - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

Kai-Hui Chang, Igor L. Markov, Valeria Bertacco. Fixing Design Errors with Counterexamples and Resynthesis. In Proceedings of the 12th Conference on Asia South Pacific Design Automation, ASP-DAC 2007, Yokohama, Japan, January 23-26, 2007. pages 944-949, IEEE, 2007. [doi]

This author has not been identified. Look up 'Kai-Hui Chang' in GoogleThis author has not been identified. Look up 'Igor L. Markov' in GoogleThis author has not been identified. Look up 'Valeria Bertacco' in Google

runs on WebDSL