2022-other.bib

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

@comment{{Command line: /usr/bin/bib2bib -q -oc 2022-other.cite -ob 2022-other.bib -c 'year = 2022 and topics : "team" and $type<>"article" and $type<>"inproceedings" and $type<>"book" and $type<>"inbook" and $type<>"incollection" and $type<>"phdthesis" and $type<>"techreport" and $type<>"manual" and $type<>"mastersthesis"' ../../biblio/abbrevs.bib ../../biblio/demons.bib ../../biblio/demons2.bib ../../biblio/demons3.bib ../../biblio/team.bib ../../biblio/crossrefs.bib}}

@unpublished{boldo22,
  topics = {team},
  title = {A {Coq} Formalization of the {Bochner} integral},
  author = {Boldo, Sylvie and Cl{\'e}ment, Fran{\c c}ois and Leclerc, Louise},
  hal = {https://hal.inria.fr/hal-03516749},
  note = {working paper or preprint},
  year = 2022
}

@unpublished{moreau22,
  topics = {team},
  title = {Compilation formellement v{\'e}rifi{\'e}e d'un langage pour le calcul formel},
  author = {Moreau, Josu{\'e}},
  hal = {https://inria.hal.science/hal-03824148},
  note = {working paper or preprint},
  year = 2022
}