Skip to content

Home Practice Lessons About

Fabio Somenzi

Books

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

Author data: Open Library

Book Glossary · bookglossary.comA nonprofit resource from Dover Public Library and the Tuscarawas County Literacy Coalition.