Formalization of Standard Uniform Random Variable (2006)

View PDF

Download Links

by Osman Hasan , Sofiène Tahar
Venue:Theoretical Computer Science
Citations:6 - 6 self