“VeriChain: A Hybrid Formal Verification Approach Using Control Flow, Symbolic Execution, and Static Analysis for Smart Contract Vulnerability Detection”. 2026. Informatica 50 (1). https://doi.org/10.31449/inf.v50i1.9267.