@misc{indiciaee2c6181cca99,
  title = {On Compositional Reasoning for Guaranteeing Probabilistic Properties},
  author = {Jan Olaf Blech},
  year = {2012},
  url = {https://arxiv.org/abs/1203.0415},
  note = {Source identifier: 1203.0415}
}