Publications : Houda Mouhcine
Back[2] | Sylvie Boldo, François Clément, Vincent Martin, Micaela Mayero, and Houda Mouhcine. A Coq formalization of Lebesgue induction principle and Tonelli's theorem. In 25th International Symposium on Formal Methods (FM 2023), volume 14000 of Lecture Notes in Computer Science, pages 39--55, 2023. [ bib | DOI | full text on HAL ] |
[1] | Sylvie Boldo, François Clément, Vincent Martin, Micaela Mayero, and Houda Mouhcine. Lebesgue induction and Tonelli's theorem in Coq. Research Report 9457, Inria, 2023. [ bib | full text on HAL ] |
Back
This page was generated by bibtex2html.