Fabio Somenzi
Fabio Somenzi
1 books in the database
Books
Co-authored books and collections
Books that list Fabio Somenzi among their authors but not as the lead author: co-written works, collections and compilations.
Computer Aided VerificationJr. Warren A. Hunt
Computer Aided Verification
Jr. Warren A. Hunt · 2011
Abstraction Refinement for Large Scale Model CheckingChao Wang
Abstraction Refinement for Large Scale Model Checking
Chao Wang · 2006
Logic Synthesis and Verification AlgorithmsGary D. Hachtel
Logic Synthesis and Verification Algorithms
Gary D. Hachtel · 2006