Publication Date:
2025
Short description:
Solvent: Liquidity Verification of Smart Contracts / Bartoletti, Massimo; Ferrando, Angelo; Lipparini, Enrico; Malvone, Vadim. - 15234 LNCS:(2025), pp. 256-266. ( 19th International Conference on integrated Formal Methods, iFM 2024 Manchester, eng 13-15 Novembre 2024) [10.1007/978-3-031-76554-4_14].
Iris type:
Relazione in Atti di Convegno
List of contributors:
Bartoletti, Massimo; Ferrando, Angelo; Lipparini, Enrico; Malvone, Vadim
Book title:
Proceedings of the 19th International Conference, IFM 2024 Manchester, UK, November 13–15, 2024 Proceedings
Published in: