👤

Gary D. Hachtel

2 books

Books by Gary D. Hachtel

Abstraction Refinement for Large Scale Model Checking
Abstraction Refinement for Large Scale Model Checking
2014
Logic Synthesis and Verification Algorithms
Logic Synthesis and Verification Algorithms
1996