Dlugauskas, Edvardas, and Karolis Petrauskas. 2024. “Formalizing IOTA Extended UTXO in Isabelle”. Vilnius University Open Series, May, 26-35. https://doi.org/10.15388/LMITT.2024.3.