نتائج بحث المؤلف

1

Securing smart contracts with formal verification and automated program repair

Securing smart contracts with formal verification and automated program repair

بواسطة Tolmach, Palina
منشور في 2023

احصل على النص الكامل

Thesis-Doctor of Philosophy

2

A survey of smart contract formal specification and verification

A survey of smart contract formal specification and verification

بواسطة Tolmach, Palina, Li, Yi, Lin, Shang-Wei, Liu, Yang, Li, Zengxiang
منشور في 2022

احصل على النص الكامل

مقال