Isil Dillig · 2 obras en el catálogoObrasVerification, Model Checking, and Abstract InterpretationComputer Aided Verification