“LÓGICA TEMPORAL PARA VERIFICAÇÃO DE PROGRAMAS”. Encontros Universitários da UFC 4, no. 2 (janeiro 1, 2019): 1642. Acesso em abril 25, 2026. https://periodicos.ufc.br/eu/article/view/59400.