About this scholarly article

Papers on Twenty-five years of electronic design automation - 25 years of DAC - The application of program verification techniques to hardware verification by Darringer, J. A. is a scholarly article available to read on EtoBox.

Author

Darringer, J. A.

Publisher

ACM Press

Published

1988

Language

EN