[1]
Alfiya Sayyad et al. 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 (Aug. 2026), 185–193. DOI:https://doi.org/10.70917/ijcisim-2026-4848.