Data di Pubblicazione:
2025
Citazione:
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].
Tipologia CRIS:
Relazione in Atti di Convegno
Elenco autori:
Bartoletti, Massimo; Ferrando, Angelo; Lipparini, Enrico; Malvone, Vadim
Link alla scheda completa:
Titolo del libro:
Proceedings of the 19th International Conference, IFM 2024 Manchester, UK, November 13–15, 2024 Proceedings
Pubblicato in: