Verifying probabilistic programs using a hoare like logic (0)

by J I den Hartog, E P deVink
Venue:International Journal of Foundations of Computer Science