Alfiya Sayyad (2026) “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, 18(18s), pp. 185–193. doi: 10.70917/ijcisim-2026-4848.