↓ Skip to main content

Abstraction, Refinement and Proof for Probabilistic Systems

Overview of attention for book
Overall attention for this book and its chapters
Altmetric Badge

Mentioned by

syllabi
1 institution with syllabi
wikipedia
1 Wikipedia page

Citations

dimensions_citation
182 Dimensions

Readers on

mendeley
33 Mendeley