Fabio Somenzi
Professor

Formal Verification | Model Checking | Hardware Synthesis | Automata | Decision Procedures | Decision Diagrams