@misc{indiciae5064f62a376a,
  title = {Formalizing the Cox-Ross-Rubinstein pricing of European derivatives in Isabelle/HOL},
  author = {Mnacho Echenim and Hervé Guiol and Nicolas Peltier},
  year = {2018},
  url = {https://arxiv.org/abs/1807.09873},
  note = {Source identifier: 1807.09873}
}