Fabio Somenzi

1 book • 1 series

Jan 1, 2006
Cover of Abstraction Refinement for Large Scale Model Checking

Abstraction Refinement for Large Scale Model Checking (Integrated Circuits and Systems)