Fragments of formal verification of the Solidity smart contracts
Date
2022
Authors
Shumakov, Maksym
Journal Title
Journal ISSN
Volume Title
Publisher
Abstract
Description
Keywords
Citation
Shumakov, Maksym. Fragments of formal verification of the Solidity smart contracts / Shumakov, Maksym; Supervisor: Vasyl Lenko; Ukrainian Catholic University, Department of Computer Sciences. – Lviv: 2022. – 36 p.