Howard Barringer · 4 obras en el catálogoObrasA survey of verification techniques for parallel programsRuntime VerificationAdvances in Temporal LogicTemporal Logic in Specification