C.: Abstraction, Refinement And (2004)

by A McIver, Morgan
Venue:Proof For Probabilistic Systems (Monographs in Computer Science