MAC0239 -- Métodos Formais

Lógica Clássica Proposicional
Lógica Clássica de Primeira Ordem
Verificação de Programas