Alfiya Sayyad, Tushar H. Ghorpade, Vanita Mane, & Faimida 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), 185–193. https://doi.org/10.70917/ijcisim-2026-4848