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].

Solvent: Liquidity Verification of Smart Contracts

Ferrando, Angelo;
2025
UB: PY; AOP
2025
13-nov-2024
Inglese
19th International Conference on integrated Formal Methods, iFM 2024
Manchester, eng
13-15 Novembre 2024
WOS:001416640500014
2-s2.0-85210077452
Proceedings of the 19th International Conference, IFM 2024 Manchester, UK, November 13–15, 2024 Proceedings
Kosmatov N., Kovács L.
15234 LNCS
256
266
9783031765537
9783031765544
Springer Science and Business Media Deutschland GmbH
Bartoletti, Massimo; Ferrando, Angelo; Lipparini, Enrico; Malvone, Vadim
Atti di CONVEGNO::Relazione in Atti di Convegno
273
4
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].
none
info:eu-repo/semantics/conferenceObject
File in questo prodotto:
Non ci sono file associati a questo prodotto.
Pubblicazioni consigliate

Licenza Creative Commons
I metadati presenti in IRIS UNIMORE sono rilasciati con licenza Creative Commons CC0 1.0 Universal, mentre i file delle pubblicazioni sono rilasciati con licenza Attribuzione 4.0 Internazionale (CC BY 4.0), salvo diversa indicazione.
In caso di violazione di copyright, contattare Supporto Iris

Utilizza questo identificativo per citare o creare un link a questo documento: https://hdl.handle.net/11380/1363470
Citazioni
  • ???jsp.display-item.citation.pmc??? ND
  • Scopus 5
  • ???jsp.display-item.citation.isi??? 4
social impact