Ezio Bartocci · 7 obras en el catálogoObrasLectures on Runtime VerificationFrom Reactive Systems to Cyber-Physical SystemsModel Checking SoftwareRuntime VerificationCComputational Methods in Systems BiologyComputational Methods in Systems BiologyFFormal Methods in Outer SpaceFormal Methods in Outer SpaceOOrganicittàOrganicittà
