2019. LÓGICA TEMPORAL PARA VERIFICAÇÃO DE PROGRAMAS. Encontros Universitários da UFC. 4, 2 (jan. 2019), 1642.