Damien Zufferey · 2 obras en el catálogoObrasNumerical Software VerificationVerification, Model Checking, and Abstract Interpretation