BOUMAZA, Kamal; TOLBA, Cherif; OBER, Iulian. Formal Verification of Emergent Properties. Informatica, [S. l.], v. 45, n. 3, 2021. DOI: 10.31449/inf.v45i3.3160. Disponível em: https://puffbird.ijs.si/index.php/informatica/article/view/3160. Acesso em: 8 aug. 2025.