Formalization of Continuous Probability Distributions (2007)

by O Hasan, S Tahar
Venue:In F. Pfenning (Ed.), Automated Deduction, (LNCS