Author Search Results

1

Securing smart contracts with formal verification and automated program repair

Securing smart contracts with formal verification and automated program repair

by Tolmach, Palina
Published 2023

Get full text

Thesis-Doctor of Philosophy

2

A survey of smart contract formal specification and verification

A survey of smart contract formal specification and verification

by Tolmach, Palina, Li, Yi, Lin, Shang-Wei, Liu, Yang, Li, Zengxiang
Published 2022

Get full text

Article