Fabio Somenzi

ספרים שבהם Fabio Somenzi מופיע/ה ברשימת המחברים, לא כמחבר/ת הראשי/ת: ספרים משותפים, אוספים וסיכומים.

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