Lenore D. Zuck · 1 obras en el catálogoObrasVerification, model checking, and abstract interpretation