Abstraction, Refinement and Proof for Probabilistic Systems - McIver, Annabelle; Morgan, Caroll; Morgan, Carroll; Morgan, Charles C.; Morgan, Charles Carroll (Springer New York, 2005)
Keywords: Information Technology -- Computer Science (Hardware & Networks)