Verifying Probabilistic Programs Using A Hoare Like Logic (2002)

View PDF

Download Links

by J. I. Den Hartog , E. P. De Vink
Citations:18 - 4 self