Fabio Somenzi · 4 obras en el catálogoObrasComputer aided verification 15Computer Aided VerificationAbstraction Refinement for Large Scale Model CheckingLogic Synthesis and Verification Algorithms
