Charles Carroll Morgan

Abstraction, Refinement and Proof for Probabilistic Systems