VU Matematikos ir informatikos fakulteto autoriaus 'Edvardas Dlugauskas' publikacijų sąrašas
pagal Lietuvos akademinių bibliotekų tinklo (LABT) publikacijų bazę VUB:
Eil. Nr.
Publikacija
1
Dlugauskas, Edvardas; Petrauskas, Karolis. Formalizing IOTA extended UTXO in Isabelle // Lietuvos magistrantų informatikos ir IT tyrimai: konferencijos darbai, 2024 m. gegužės 10 d. Vilnius : Vilniaus universiteto leidykla. eISSN 2783-784X. 2024, p. 26-35. (Vilnius University Open Series, eISSN 2669-0535). DOI: 10.15388/LMITT.2024.3.