Charles C. Morgan profile picture

Charles C. Morgan

Stand Alone

Abstraction, Refinement and Proof for Probabilistic Systems