Fragments of formal verification of the Solidity smart contracts

Fragments of formal verification of the Solidity smart contracts

Shumakov, Maksym
URI: https://er.ucu.edu.ua/handle/1/4445
Дата: 2022

Бібліографічний опис:

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.

Показати повний опис матеріалу

Попередній перегляд

Долучені файли

Thumbnail
Назва: Maksym Shumakov ...
Розмір: 686.8 Кб
Формат: Документ PDF
Переглянути

Даний матеріал зустрічається у наступних зібраннях

Пошук


Перегляд

Мій обліковий запис