Fabio Somenzi

F・S · F. Somenzi

titlemedia type ISBN-13year of publica-
tion
other author(s)
Abstraction Refinement for Large Scale Model CheckingHardcover 978-0-387-34155-22006Chao Wang · Gary D. Hachtel
Computer Aided Verification: 15th International Conference, CAV 2003, Boulder, CO, USA, July 8-12, 2003, ProceedingsTaschenbuch
978-3-540-40524-52008Jr. Hunt
Logic Synthesis and Verification AlgorithmsPaperback 978-0-387-31004-62006Gary D. Hachtel
Logic Synthesis and Verification AlgorithmsHardcover 978-0-7923-9746-51996   "

Fabio Sommella