DJEDDI, Chabane; ZAROUR, Nacer-eddine; CHARREL, Pierre-Jean. Formal verification of the extension of iStar to support Big data projects. Computer Science, [S. l.], v. 22, n. 3, 2021. DOI: 10.7494/csci.2021.22.3.4035. Disponível em: https://journals.agh.edu.pl/csci/article/view/4035. Acesso em: 28 apr. 2025.