TY  - RPRT
TI  - Formal Analysis of Lending Pools in Decentralized Finance
AU  - Massimo Bartoletti
AU  - James Chiang
AU  - Tommi Junttila
AU  - Alberto Lluch Lafuente
AU  - Massimiliano Mirelli
AU  - Andrea Vandin
PY  - 2022
UR  - https://arxiv.org/abs/2206.01333
ID  - 2206.01333
ER  -