Ruzica Piskac · 2 obras en el catálogoObrasVerified Software. Theories, Tools, and ExperimentsVerification, Model Checking, and Abstract Interpretation