Alfiya Sayyad, et al. “Adaptive Multi-Agent Explainable Smart Contract Auditing Framework (AMESCAF): A Hybrid Approach Integrating Static Analysis, Symbolic Execution, Formal Verification, and Explainable Artificial Intelligence for Next-Generation Blockchain Security”. International Journal of Computer Information Systems and Industrial Management Applications, vol. 18, no. 18s, Aug. 2026, pp. 185-93, doi:10.70917/ijcisim-2026-4848.