HARIATI, Mehdi. Formal Verification Issues For Component-Based Development. Informatica, [S. l.], v. 44, n. 4, 2020. DOI: 10.31449/inf.v44i4.3152. Disponível em: https://puffbird.ijs.si/index.php/informatica/article/view/3152. Acesso em: 23 jun. 2025.