HALL, R. P.; SCHMIDT, Y.; OLIVEIRA, F. A Systematic Review of Formal Verification Frameworks for Cross-Border E-Commerce Platforms: Methods, Architectures, and Future Research Directions. Research Journal of Computer Systems and Engineering, [S. l.], p. 41–47, 2025. Disponível em: https://vit.technicaljournals.org/index.php/rjcse/article/view/132. Acesso em: 19 may. 2026.