Équipe centrée sur la notion de preuve et ses utilisations, en particulier en vérification logicielle et IA (TALN)
Open Access Files
Nombre de Fichiers déposés
Nombre de Notices déposées
Politique des éditeurs en matière de dépôt dans une archive ouverte
Tags