共 44 条
[1]
Bafna P, 2016, 2016 INTERNATIONAL CONFERENCE ON ELECTRICAL, ELECTRONICS, AND OPTIMIZATION TECHNIQUES (ICEEOT), P61, DOI 10.1109/ICEEOT.2016.7754750
[2]
A Formal Model of Algorand Smart Contracts
[J].
FINANCIAL CRYPTOGRAPHY AND DATA SECURITY, FC 2021, PT I,
2021, 12674
:93-114
[7]
Corradini Flavio, 2019, From Software Engineering to Formal Methods and Tools, and Back: Essays Dedicated to Stefania Gnesi on the Occasion of Her 65th Birthday. Lecture Notes in Computer Science (LNCS 11865), P467, DOI 10.1007/978-3-030-30985-5_27
[8]
Dannen C., 2017, Introducing Ethereum and solidity, V1
[9]
Ester M., 1996, P INT C KNOWL DISC D, P226, DOI DOI 10.5555/3001460.3001507
[10]
Grootendorst M.R., 2022, arXiv, DOI DOI 10.48550/ARXIV.2203.05794