Saddek Bensalem · 3 obras en el catálogoObrasVerification and Evaluation of Computer and Communication SystemsFrom Programs to Systems - The Systems Perspective in ComputingRRuntime VerificationRuntime Verification