ZOU, Yihong. Automated Reasoning and Technological Innovation in Cloud Computing Security. Economics and Management Innovation, [S. l.], v. 2, n. 6, p. 25–32, 2025. DOI: 10.71222/mkf1wm07. Disponível em: https://www.gbspress.com/index.php/EMI/article/view/483. Acesso em: 3 nov. 2025.