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]
No references recorded for this publication.
No citations of this publication recorded.