Updates

Latest Tweet



What's New?

Check out for latest innovation, a computer based training video collection


Like this Page

Fabio Somenzi

Home / Authors / Fabio Somenzi

Tags

logic mathematics computing formal methods abstraction (computer science) logic in computer science finite model theory model checking formal equivalence checking

Published Books

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

Read more

July 2006

Co-Authors