Abstraction, Refinement and Proof for Probabilistic Systems - McIver, Annabelle; Morgan, Carroll; SpringerLink (Online service) (New York, NY : Springer New York, 2005)
Keywords: Computer science; Logic design; Computer Science; Programming Techniques; Logics and Meanings of Programs; Programming Languages, Compilers, Interpreters; Mathematical Logic and Formal Languages