2023-conference.bib

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

@comment{{Command line: /usr/bin/bib2bib -q -oc 2023-conference.cite -ob 2023-conference.bib -c 'year = 2023 and topics : "team" and $type="inproceedings"' ../../biblio/abbrevs.bib ../../biblio/demons.bib ../../biblio/demons2.bib ../../biblio/demons3.bib ../../biblio/team.bib ../../biblio/crossrefs.bib}}

@inproceedings{boldo23fm,
  topics = {team},
  title = {A {Coq} Formalization of {Lebesgue} Induction Principle and {Tonelli's} Theorem},
  author = {Boldo, Sylvie and Cl{\'e}ment, Fran{\c c}ois and Martin, Vincent and Mayero, Micaela and Mouhcine, Houda},
  hal = {https://hal.inria.fr/hal-03889276},
  booktitle = {25th International Symposium on Formal Methods (FM 2023)},
  series = {Lecture Notes in Computer Science},
  volume = 14000,
  pages = {39--55},
  year = 2023,
  doi = {10.1007/978-3-031-27481-7\_4}
}

@inproceedings{filliatre23jfla,
  topics = {team},
  title = {L'arithm{\'e}tique de s{\'e}paration},
  author = {Filli{\^a}tre, Jean-Christophe and Paskevich, Andrei},
  hal = {https://hal.inria.fr/hal-03886759},
  booktitle = {JFLA 2023 - 34{\`e}mes Journ{\'e}es Francophones des Langages Applicatifs},
  editor = {Timothy Bourke and Delphine Demange},
  pages = {274--283},
  year = 2023
}

@inproceedings{geneau23arith,
  topics = {team},
  author = {Geneau de Lamarli{\`e}re, Paul and Melquiond, Guillaume and Faissole, Florian},
  title = {Slimmer Formal Proofs for Mathematical Libraries},
  hal = {https://inria.hal.science/hal-04165169},
  booktitle = {Int. Conf. on Computer Arithmetic},
  year = 2023
}

@inproceedings{conchon23sefm,
  topics = {team},
  hal = {https://inria.hal.science/hal-04394062},
  author = {Sylvain Conchon and Alexandrina Korneva},
  editor = {Carla Ferreira and Tim A. C. Willemse},
  title = {The Cubicle Fuzzy Loop: {A} Fuzzing-Based Extension for the {Cubicle}
                  Model Checker},
  booktitle = {Software Engineering and Formal Method},
  series = {Lecture Notes in Computer Science},
  volume = 14323,
  pages = {30--46},
  publisher = {Springer},
  year = 2023,
  doi = {10.1007/978-3-031-47115-5\_3}
}