MITTAL, Arpit. AI-Driven Formal Methods For Engineering Prevention In Payment Systems: A Compliance-By-Design Architecture For Regulatory Resilience. Journal of International Crisis and Risk Communication Research , [S. l.], p. 539–552, 2025. DOI: 10.63278/jicrcr.vi.3612. Disponível em: https://jicrcr.com/index.php/jicrcr/article/view/3612. Acesso em: 30 aug. 2026.