Tarek Mhamdi, Osman Hasan, Sofiène Tahar. On the Formalization of the Lebesgue Integration Theory in HOL. In Matt Kaufmann, Lawrence C. Paulson, editors, Interactive Theorem Proving, First International Conference, ITP 2010, Edinburgh, UK, July 11-14, 2010. Proceedings. Volume 6172 of Lecture Notes in Computer Science, pages 387-402, Springer, 2010. [doi]
Abstract is missing.