Fabio Somenzi

No bio available. Add one in Open Library.

Books by Fabio Somenzi (50 max)

+ shelf+ list

Logic Synthesis and Verification Algorithms

2006

Gary D. Hachtel, Fabio Somenzi

+ shelf+ list

Abstraction Refinement for Large Scale Model Checking

2006

Chao Wang, Gary D. Hachtel, Fabio Somenzi

+ shelf+ list

Computer Aided Verification 15th International Conference, CAV 2003, Boulder, CO, USA, July 8-12, 2003, Proceedings

2011

Jr. Warren A. Hunt, Fabio Somenzi

+ shelf+ list

Computer Aided Verification: 15th International Conference, CAV 2003, Boulder, CO, USA, July 8-12, 2003, Proceedings (Lecture Notes in Computer Science)

2003

Fabio Somenzi