Doron Peled · 3 obras en el catálogoObrasComputer aided verificationAutomated Technology for Verification and AnalysisMModel Checking, Second EditionModel Checking, Second Edition