Valeria Bertacco · 3 obras en el catálogoObrasScalable Hardware Verification with Symbolic SimulationHardware and Software : Verification and TestingScalable Hardware Verification with Symbolic Simulation