Developments in verification of design correctness (A Tutorial) - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

Wendell E. Cory, William M. van Cleemput. Developments in verification of design correctness (A Tutorial). In Edwin B. Hassler Jr., editor, Proceedings of the 17th Design Automation Conference, DAC '80, Minneapolis, Minnesota, USA, June 23-25, 1980. pages 156-164, ACM/IEEE, 1980. [doi]

This author has not been identified. Look up 'Wendell E. Cory' in GoogleThis author has not been identified. Look up 'William M. van Cleemput' in Google

runs on WebDSL