APA (7th ed.) Citation

Ramesh, V., & Reddy, K. G. (2026). VeriChain: A Hybrid Formal Verification Approach Using Control Flow, Symbolic Execution, and Static Analysis for Smart Contract Vulnerability Detection. Informatica (03505596), 50(1), 25. https://doi.org/10.31449/inf.v50i1.9267

Chicago Style (17th ed.) Citation

Ramesh, Vankudoth, and K. Govardhan Reddy. "VeriChain: A Hybrid Formal Verification Approach Using Control Flow, Symbolic Execution, and Static Analysis for Smart Contract Vulnerability Detection." Informatica (03505596) 50, no. 1 (2026): 25. https://doi.org/10.31449/inf.v50i1.9267.

MLA (9th ed.) Citation

Ramesh, Vankudoth, and K. Govardhan Reddy. "VeriChain: A Hybrid Formal Verification Approach Using Control Flow, Symbolic Execution, and Static Analysis for Smart Contract Vulnerability Detection." Informatica (03505596), vol. 50, no. 1, 2026, p. 25, https://doi.org/10.31449/inf.v50i1.9267.