Fragments of formal verification of the Solidity smart contracts / Maksym Shumakov ; supervisor : Vasyl Lenko.

By: Shumakov, Maksym.
Contributor(s): Ukrainian Catholic University Department of computer sciences Faculty of applied sciences.
Material type: TextTextPublisher: Lviv : [s.n.], 2022. Description: ix, 26 арк. іл. 30 см.Other title: Фрагменти формальної верифікації розумних контрактів Solidity.Dissertation note: Бакалаврська робота
Star ratings
    Average rating: 0.0 (0 votes)
Holdings
Item type Current library Status Barcode
Книга Студентські роботи ЦШ Available 388286

Бакалаврська робота

Містить бібліографію

There are no comments on this title.

to post a comment.