TY  - RPRT
TI  - On Compositional Reasoning for Guaranteeing Probabilistic Properties
AU  - Jan Olaf Blech
PY  - 2012
UR  - https://arxiv.org/abs/1203.0415
ID  - 1203.0415
ER  -