Verifying Probabilistic Programs Using A Hoare Like Logic (2002)

Cached

Download Links

by J. I. Den Hartog , E. P. De Vink
Citations:14 - 3 self