Nadia Polikarpova · 2 obras en el catálogoObrasIntegrated Formal MethodsSSoftware VerificationSoftware Verification