Shumakov, Maksym.
Fragments of formal verification of the Solidity smart contracts /
Maksym Shumakov ; supervisor : Vasyl Lenko 
. - Lviv : [s.n.],  2022 
. - ix, 26 арк.  іл.  30 см. 
<br/><br/>Бакалаврська робота 
<br/>К.: Містить бібліографію