mouhcine.bib

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

@comment{{Command line: /usr/bin/bib2bib -q -oc mouhcine.cite -ob mouhcine.bib -c 'author : "mouhcine"' ../../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}
}

@techreport{boldo23rr,
  topics = {team},
  title = {{Lebesgue} Induction and {Tonelli}'s Theorem in {Coq}},
  author = {Boldo, Sylvie and Cl{\'e}ment, Fran{\c c}ois and Martin, Vincent and Mayero, Micaela and Mouhcine, Houda},
  hal = {https://inria.hal.science/hal-03564379},
  type = {Research Report},
  number = 9457,
  institution = {Inria},
  year = 2023
}