andres.bib

@comment{{This file has been generated by bib2bib 1.98}}

@comment{{Command line: /usr/bin/bib2bib -q -oc andres.cite -ob andres.bib -c 'author : "Andrès"' ../../biblio/abbrevs.bib ../../biblio/demons.bib ../../biblio/demons2.bib ../../biblio/demons3.bib ../../biblio/team.bib ../../biblio/crossrefs.bib}}

@techreport{andres19rr,
  topics = {team},
  title = {V\'erification par preuve formelle de propri\'et\'es fonctionnelles d'algorithme de classification},
  author = {Andr\`es, L\'eo},
  hal = {https://hal.inria.fr/hal-02421484},
  type = {Rapport de stage de {M1}},
  institution = {Universit\'e Paris Sud},
  year = 2019,
  month = aug
}

@inproceedings{andres22jfla,
  topics = {team},
  title = {Connecter l'{\'e}cosyst{\`e}me {OCaml} {\`a} {Software} {Heritage} via opam},
  author = {Andr{\`e}s, L{\'e}o and Boujbel, Raja and Gesbert, Louis and Pinto, Dario},
  hal = {https://hal.inria.fr/hal-03626845},
  booktitle = {33{\`e}mes Journ{\'e}es Francophones des Langages Applicatifs},
  editor = {Chantal Keller and Timothy Bourke},
  pages = {227--234},
  year = 2022
}