Legal full-text edition

Abstraction, Refinement and Proof for Probabilistic Systems

Unknown author

Read now Internet Archive

Rights
Public-domain status shown for US. https://creativecommons.org/publicdomain/zero/1.0/