Abstraction, Refinement and Proof for Probabilistic Systems
von Annabelle McIver und Charles Carroll MorganThis unique, example-driven monograph integrates coverage of random/probabilistic algorithms, assertion-based program reasoning, and refinement programming models, providing a focused survey on probabilistic program semantics Includes supplementary material: sn. pub/extras