Ecosystem Registry

PESTO: Techniques de Preuves pour les Protocoles de Sécurité

University or research institute · Villers-lès-Nancy, France · Founded 2016

University or research institute in Villers-lès-Nancy, France, founded 2016. Part of the Innovative EcoSystems registry.

inria.fr