Objectivos

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

Mestrado Bolonha em Engenharia Informática e de Computadores - Alameda

Aplicar lógica na verificação de sistemas de hardware e de software.