Massimo Bartoletti, James Hsin-yu Chiang, Tommi Junttila, Alberto Lluch-Lafuente, Massimiliano Mirelli, Andrea Vandin. Formal Analysis of Lending Pools in Decentralized Finance. In Tiziana Margaria, Bernhard Steffen, editors, Leveraging Applications of Formal Methods, Verification and Validation. Adaptation and Learning - 11th International Symposium, ISoLA 2022, Rhodes, Greece, October 22-30, 2022, Proceedings, Part III. Volume 13703 of Lecture Notes in Computer Science, pages 335-355, Springer, 2022. [doi]
@inproceedings{BartolettiCJLMV22,
title = {Formal Analysis of Lending Pools in Decentralized Finance},
author = {Massimo Bartoletti and James Hsin-yu Chiang and Tommi Junttila and Alberto Lluch-Lafuente and Massimiliano Mirelli and Andrea Vandin},
year = {2022},
doi = {10.1007/978-3-031-19759-8_21},
url = {https://doi.org/10.1007/978-3-031-19759-8_21},
researchr = {https://researchr.org/publication/BartolettiCJLMV22},
cites = {0},
citedby = {0},
pages = {335-355},
booktitle = {Leveraging Applications of Formal Methods, Verification and Validation. Adaptation and Learning - 11th International Symposium, ISoLA 2022, Rhodes, Greece, October 22-30, 2022, Proceedings, Part III},
editor = {Tiziana Margaria and Bernhard Steffen},
volume = {13703},
series = {Lecture Notes in Computer Science},
publisher = {Springer},
isbn = {978-3-031-19759-8},
}