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://www.informatica.si/index.php/informatica/article/view/3160. Acesso em: 14 jan. 2026.