Pré-requisitos

Lógica e Verificação de Modelos

Mestrado Bolonha em Matemática e Aplicações e Computação

Prerequisitos

Os Pre-Requisitos não foram definidos.