Equipe-projet

DEVINE

Vérification efficace pour des systèmes distribués fiables
Vérification efficace pour des systèmes distribués fiables
Centre(s) inria
Centre Inria de l’Université de Rennes
En partenariat avec
CNRS

Contacts

Nathalie Bertrand

Responsable de l'équipe

Laurence Dinh

Assistant(e) de l'équipe