ElvirIA-P : génération d'avis d'expertise pour accompagner les experts en sûreté de fonctionnement des logiciels critiques. - Kévin Cousot; Thibaud Sanchez; Antoine Nguyen; Anthony Calpas; Ghislaine Martinez; Cédric Lopez (IC, 2022)