cx a22 3 45 261847767 http://www.idref.fr/261847767 20220415 20250528100551.000 384219701 384212103 Tp5 https://viaf.org/viaf/529165264184510190199 VIAF VIAF 20240305 57219419694 SCOPUSID ABES 20240912 20220415afrey50 ba0 fre 639-2 FR 1992 0 1 0 ba AFNOR ba0yba0y f|xxx 0 Bégay Pierre-Léo 1992-.... auteur en informatique ba0yba0y Auteur d'une thèse en Informatique à l'Université Grenoble Alpes en 2021 FR Abes 20250528 AFNOR Développement et certification en Coq/MathComp d'optimisations Datalog pour la vérification réseau / Pierre-Léo Begay ; sous la direction de Jean-François Monin et Pierre Crégut. Thèse de doctorat : Informatique : Université Grenoble Alpes : 2021 Bégay, Pierre-Léo (1992-.... ; auteur en informatique)