Abstraction, Refinement and Proof for Probabilistic Systems [E-Book] / by Annabelle McIver, Carroll Morgan.
McIver, Annabelle.
Morgan, Carroll.
New York, NY : Springer Science+Business Media, Inc., 2005.
online resource
9780387270067
Monographs in Computer Science,
Full Text
Description not available.