pGCL: formal reasoning for random algorithms (1999)

Cached

Download Links

by Carroll Morgan , Annabelle McIver
Citations:31 - 8 self