CONVECS: Construction de systèmes concurrents vérifiés | Rogue Scholar

Also known as

CONVECS: Construction of verified concurrent systems

Type

Facility

Location

Montbonnot-Saint-Martin, Auvergne-Rhône-Alpes, France

Website

https://www.inria.fr/equipes/convecs

Parent

Centre Inria de l'Université Grenoble Alpes

ROR

Laboratoire d'Informatique de Grenoble

ROR