Saxo Access
Indkøbskurv

Somenzi, Fabio

Vis søgefilter

Vis mig kun

Computer Aided Verification

Computer Aided Verification

Somenzi, Fabio

436,85 DKK

Logic Synthesis and Verification Algorithms

Logic Synthesis and Verification Algorithms

Somenzi, Fabio

656,09 DKK

Abstraction Refinement for Large Scale Model Checking

Abstraction Refinement for Large Scale Model Checking

Somenzi, Fabio

875,33 DKK