Charles Carroll Morgan

Libri
Abstraction, Refinement and Proof for Probabilistic Systems Abstraction, Refinement and Proof for Probabilistic Systems
Abstraction, Refinement and Proof for Probabilistic Systems
2006