✦ LIBER ✦
[ACM Press Papers - Not Known (1988..-..)] Papers on Twenty-five years of electronic design automation - 25 years of DAC - The application of program verification techniques to hardware verification
✍ Scribed by Darringer, J. A.
- Book ID
- 118049243
- Publisher
- ACM Press
- Year
- 1988
- Tongue
- English
- Weight
- 791 KB
- Volume
- 0
- Category
- Article
- ISBN-13
- 9780897912679
No coin nor oath required. For personal study only.