Formalno modeliranje transakcija kriptografskog lanca blokova : završni rad - Rupić, Kristijan (K. Rupić, 2019)