Fragments of formal verification of the Solidity smart contracts
Login
українська
English
Home
→
Students Research & Project Works | Роботи студентів
→
Факультет прикладних наук
→
Бакалаврська програма "Комп'ютерні науки"
→
2022
→
View Item
Сценарії JavaScript вимкнено для Вашого браузера. Деякі функції цього сайту не будуть працювати без них.
Fragments of formal verification of the Solidity smart contracts
Shumakov, Maksym
URI:
https://er.ucu.edu.ua/handle/1/4445
Date:
2022
Bibliographic description:
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.
Show full item record
Preview
<h2>Files in this item</h2> <table xmlns:i18n="http://apache.org/cocoon/i18n/2.1" class="ds-table file-list"> <tr class="ds-table-header-row"> <th>Files</th> <th xmlns:i18n="http://apache.org/cocoon/i18n/2.1">Size</th> <th xmlns:i18n="http://apache.org/cocoon/i18n/2.1">Format</th> <th xmlns:i18n="http://apache.org/cocoon/i18n/2.1">View</th> </tr> <tr xmlns:i18n="http://apache.org/cocoon/i18n/2.1"> <td colspan="4"> <p>There are no files associated with this item.</p> </td> </tr> </table>
Files in this item
Name:
Maksym Shumakov ...
Size:
686.8Kb
Format:
PDF
View/
Open
This item appears in the following Collection(s)
2022
[39]
Search
Search
This Collection
Browse
All items
Communities & Collections
By Issue Date
Authors
Titles
Subjects
This Collection
By Issue Date
Authors
Titles
Subjects
My Account
Login
Register
