LÓGICA TEMPORAL PARA VERIFICAÇÃO DE PROGRAMAS. Encontros Universitários da UFC, [S. l.], v. 4, n. 2, p. 1642, 2019. Disponível em: https://periodicos.ufc.br/eu/article/view/59400. Acesso em: 25 abr. 2026.