Formalization of the Standard Uniform Random Variable (0)

by O Hasan, S Tahar
Venue:Theoretical Computer Science