Abstraction, Refinement and (2005)

by A McIver, C Morgan
Venue:Proof for Probabilistic Systems Monograph in Computer Science