Faculté / Département ⤶ |
Répertoire par Unités | Répertoire par Projets | Répertoire des Chercheurs |
Répertoire par Collaborations | Classement par Domaines | Classement par Frascati | Disciplines CREF |
IRISA-INRIA
(VERTECS project)
(France)
⊿Méthodes formelles et vérification