Lotação:

Departamento de Computação

Fala à imprensa sobre:

verificação dedutiva de programas; prova assistida por computador

Se você deseja ter acesso a todas as informações do Guia de Fontes, faça o login ou solicite o acesso.