↓ Skip to main content

Abstraction, Refinement and Proof for Probabilistic Systems

Overview of attention for book
Attention for Chapter 6: The geometry of probabilistic programs
Altmetric Badge

Citations

dimensions_citation
183 Dimensions

Readers on

mendeley
2 Mendeley
You are seeing a free-to-access but limited selection of the activity Altmetric has collected about this research output. Click here to find out more.
Chapter title
The geometry of probabilistic programs
Chapter number 6
Book title
Abstraction, Refinement and Proof for Probabilistic Systems
Published by
Springer, New York, NY, January 2005
DOI 10.1007/0-387-27006-x_6
Book ISBNs
978-0-387-40115-7, 978-0-387-27006-7
Mendeley readers

Mendeley readers

The data shown below were compiled from readership statistics for 2 Mendeley readers of this research output. Click here to see the associated Mendeley record.

Geographical breakdown

Country Count As %
Unknown 2 100%

Demographic breakdown

Readers by professional status Count As %
Student > Ph. D. Student 1 50%
Researcher 1 50%
Readers by discipline Count As %
Computer Science 2 100%