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

Responsable de l'équipe

Laurence Dinh

Assistant(e) de l'équipe