LÓGICA TEMPORAL PARA VERIFICAÇÃO DE PROGRAMAS. (2019). Encontros Universitários Da UFC, 4(2), 1642. https://periodicos.ufc.br/eu/article/view/59400