TY  - BOOK
AU  - Shumakov,Maksym
ED  - Ukrainian Catholic University
TI  - Fragments of formal verification of the Solidity smart contracts
PY  - 2022///
CY  - Lviv
PB  - [s.n.]
N1  - Бакалаврська робота; Містить бібліографію
ER  -