MRSEI V4 - Montage de Réseaux Scientifiques Européens et/ou Internationaux 2023 - v4
Social Good and Formal Verification – CONFORMATION
Coordination du projet
Laurent Perrussel (Institut de Recherche en Informatique de Toulouse)
L'auteur de ce résumé est le coordinateur du projet, qui est responsable du contenu de ce résumé. L'ANR décline par conséquent toute responsabilité quant à son contenu.
Partenariat
IRIT Institut de Recherche en Informatique de Toulouse
Aide de l'ANR 34 350 euros
Début et durée du projet scientifique :
- 24 Mois
