Charles C. Morgan profile picture

Charles C. Morgan

Stand Alone

Abstraction, Refinement and Proof for Probabilistic Systems
Charles C. Morgan — Books & Biography | Menrva Books | MenrvaBooks