👤

Fabio Somenzi

3 books

Books by Fabio Somenzi

Abstraction Refinement for Large Scale Model Checking
Abstraction Refinement for Large Scale Model Checking
2014
Computer aided verification 15
Computer aided verification 15
2003
Logic Synthesis and Verification Algorithms
Logic Synthesis and Verification Algorithms
1996