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