Organizations · FR

VERIDIS: Modeling and Verification of Distributed Algorithms and Systems

ROR

https://ror.org/0440j7g03

OpenAlex

https://openalex.org/I4405260676

Country

FR

Type

facility

Status

active

Organization website