Publications : Léo Andrès
Retour[2] | Léo Andrès, Raja Boujbel, Louis Gesbert, and Dario Pinto. Connecter l'écosystème OCaml à Software Heritage via opam. In Chantal Keller and Timothy Bourke, editors, 33èmes Journées Francophones des Langages Applicatifs, pages 227--234, 2022. [ bib | full text on HAL ] |
[1] | Léo Andrès. Vérification par preuve formelle de propriétés fonctionnelles d'algorithme de classification. Rapport de stage de M1, Université Paris Sud, August 2019. [ bib | full text on HAL ] |
Retour
This page was generated by bibtex2html.