Dejan Ničković · 2 obras en el catálogoObrasRRuntime VerificationRuntime VerificationFFormal Methods for Industrial Critical SystemsFormal Methods for Industrial Critical Systems