Abstraction, Refinement and Proof for Probabilistic Systems
- 2005
978-0-387-27006-7
Logics and Meanings of Programs Mathematical Logic and Formal Languages Probability Theory and Stochastic Processes Programming Techniques Software Engineering/Programming and Operating Systems Programming Languages, Compilers, Interpreters Computer Science