@misc{indiciaec3b6cfe6e6f7,
  title = {Formal Analysis of Composable DeFi Protocols},
  author = {Palina Tolmach and Yi Li and Shang-Wei Lin and Yang Liu},
  year = {2021},
  url = {https://arxiv.org/abs/2103.00540},
  note = {Source identifier: 2103.00540}
}