Xiao, M.; Xu, Y.; Zhang, Y.; Yang, K.; Yan, S.; Cen, L.
Formal Verification of Solidity Smart Contracts via Automata Theory. Symmetry 2025, 17, 1275.
https://doi.org/10.3390/sym17081275
AMA Style
Xiao M, Xu Y, Zhang Y, Yang K, Yan S, Cen L.
Formal Verification of Solidity Smart Contracts via Automata Theory. Symmetry. 2025; 17(8):1275.
https://doi.org/10.3390/sym17081275
Chicago/Turabian Style
Xiao, Meihua, Yangping Xu, Yongtuo Zhang, Ke Yang, Sufen Yan, and Li Cen.
2025. "Formal Verification of Solidity Smart Contracts via Automata Theory" Symmetry 17, no. 8: 1275.
https://doi.org/10.3390/sym17081275
APA Style
Xiao, M., Xu, Y., Zhang, Y., Yang, K., Yan, S., & Cen, L.
(2025). Formal Verification of Solidity Smart Contracts via Automata Theory. Symmetry, 17(8), 1275.
https://doi.org/10.3390/sym17081275