Este artigo é privado e está apenas disponivel para membros do grupo: Professores de Lógica e Verificação de Modelos (LVM) 1 Semestre - 2012/2013 ou Alunos de Lógica e Verificação de Modelos (LVM) 1 Semestre - 2012/2013
Este artigo é privado e está apenas disponivel para membros do grupo: Professores de Lógica e Verificação de Modelos (LVM) 1 Semestre - 2012/2013 ou Alunos de Lógica e Verificação de Modelos (LVM) 1 Semestre - 2012/2013