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: 11 jul. 2026.