1. (100%) Verifying Probabilistic Programs Using A Hoare Like Logic - A Hoare Like Logic,J. I. Den Hartog,E. P. De Vink
insufficient, so a notion of probabilistic predicates is introduced. A Hoare-style proof system to check
(ps) - 31-mar-2009