Palina Tolmach, Yi Li 0008, Shangwei Lin 0001, Yang Liu 0003, Zengxiang Li. A Survey of Smart Contract Formal Specification and Verification. ACM Computing Surveys, 54(7), 2022. [doi]
@article{TolmachLLLL22,
title = {A Survey of Smart Contract Formal Specification and Verification},
author = {Palina Tolmach and Yi Li 0008 and Shangwei Lin 0001 and Yang Liu 0003 and Zengxiang Li},
year = {2022},
doi = {10.1145/3464421},
url = {https://doi.org/10.1145/3464421},
researchr = {https://researchr.org/publication/TolmachLLLL22},
cites = {0},
citedby = {0},
journal = {ACM Computing Surveys},
volume = {54},
number = {7},
}